]> matita.cs.unibo.it Git - helm.git/commit
more cases of the type checker honoured, still missing Match and Const.
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 27 Mar 2008 15:07:09 +0000 (15:07 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 27 Mar 2008 15:07:09 +0000 (15:07 +0000)
commit9e09650c5b9a0c1711c6bef7c42618d8def14a54
tree451be98439f8e88a12f57da9ce0a7fc123d73353
parent613bc202d0810f4386b393bfb369c62dfc78c68c
more cases of the type checker honoured, still missing Match and Const.
lookup_meta added
helm/software/components/ng_kernel/.depend
helm/software/components/ng_kernel/Makefile
helm/software/components/ng_kernel/nCicTypeChecker.ml
helm/software/components/ng_kernel/nCicUtils.ml
helm/software/components/ng_kernel/nCicUtils.mli