Force user to write Lustre::lt instead of lt to avoid name clashes.
Showing
- src/astRecognizePredef.ml 3 additions, 2 deletionssrc/astRecognizePredef.ml
- src/l2lRmPoly.ml 2 additions, 2 deletionssrc/l2lRmPoly.ml
- src/lic2soc.ml 2 additions, 2 deletionssrc/lic2soc.ml
- src/licTab.ml 20 additions, 24 deletionssrc/licTab.ml
- src/unifyType.ml 6 additions, 3 deletionssrc/unifyType.ml
- test/lus2lic.sum 5 additions, 7 deletionstest/lus2lic.sum
- test/should_work/mapinf.lus 1 addition, 1 deletiontest/should_work/mapinf.lus
- test/should_work/matrice.lus 1 addition, 1 deletiontest/should_work/matrice.lus
- test/should_work/ply01.lus 2 additions, 2 deletionstest/should_work/ply01.lus
- test/should_work/yyy.lus 2 additions, 1 deletiontest/should_work/yyy.lus
- todo.org 0 additions, 8 deletionstodo.org
- todo.org_archive 24 additions, 0 deletionstodo.org_archive
Loading
Please register or sign in to comment