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

« Previous | Next »

Revision 89137ae1

ID	89137ae16c476f8eac47bdbdab4c2cac62b80818
Parent	da07e470
Child	812c0369

Added by Xavier Thirioux almost 5 years ago

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

Files

added
modified
copied
renamed
deleted

View differences

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)