Revision 1577dc7e - better error message for tuple type mismatch git-svn-id: https://cavale.ense... - LustreC

« Previous | Next »

Revision 1577dc7e

Added by Xavier Thirioux almost 11 years ago

ID 1577dc7e31f034500032ed7c54448183c543325e
Parent 11242500
Child 64dfa450

better error message for tuple type mismatch

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@161 041b043f-8d7c-46b2-b46e-ef0dd855326e

added
modified
copied
renamed
deleted

src
- typing.ml (diff)