search

mattiasw2 / teyjus

Automatically exported from code.google.com/p/teyjus
GNU General Public License v3.0
0 stars 0 forks source link

Impossible to use type abbreviations in the simulator #75

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
If a type abbreviation is defined in some module and then the simulator is 
launched, it is not possible to refer to the defined type abbreviations in a 
type annotation.

In  codgen.ml:generateModuleCode, type abbreviations are simply discarded.
That would require some work to fix this minor issue.

Original issue reported on code.google.com by fafounet@gmail.com on 23 Jul 2013 at 12:13