Revision 11242500 - again, debugged tuple subtyping git-svn-id: https://cavale.enseeiht.fr/svn/l... - LustreC

« Previous | Next »

Revision 11242500

Added by Xavier Thirioux over 10 years ago

ID 11242500ab1a1c7f147d4d7895109abf4471bb21
Parent 17249d2e
Child 1577dc7e

again, debugged tuple subtyping

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

added
modified
copied
renamed
deleted

src
- typing.ml (diff)