caterinaurban / Typpete

35 stars 6 forks source link

Results for imported modules #42

Open caterinaurban opened 6 years ago

caterinaurban commented 6 years ago

It seems currently impossible to obtain the result of the type inference for imported modules. Due to this I am unable to see which files of one project (e.g., ICemu) are actually included in a run of the type inference (via imports).