Revision 867276c9 - Machine_code: Make a correction in the arrow machine creation : use the sam... - LustreC

« Previous | Next »

Revision 867276c9

ID	867276c98129463a05de3188c9df37d53e612215
Parent	2477d634
Child	b5b745fb

Added by Guillaume DAVY 10 months ago

Machine_code: Make a correction in the arrow machine creation :
use the same polymorphic type in variables and values.

Files

added
modified
copied
renamed
deleted

View differences

src
- machine_code_common.ml (diff)