Revision 867276c9
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
ID | 867276c98129463a05de3188c9df37d53e612215 |
Parent | 2477d634 |
Child | b5b745fb |
Added by Guillaume DAVY almost 2 years ago
Machine_code: Make a correction in the arrow machine creation :
use the same polymorphic type in variables and values.