Revision 89137ae1 - bug correction in typing: tuple types were computed but not recorded - LustreC

« Previous | Next »

Revision 89137ae1

Added by Xavier Thirioux about 9 years ago

ID 89137ae16c476f8eac47bdbdab4c2cac62b80818
Parent da07e470
Child 812c0369

bug correction in typing: tuple types were computed but not recorded

added
modified
copied
renamed
deleted

src
- backends
  - C
    - c_backend_common.ml (diff)
    - c_backend_src.ml (diff)
- main_lustre_compiler.ml (diff)
- optimize_machine.ml (diff)
- printers.ml (diff)
- typing.ml (diff)