]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e3ba094) | patch
"let rec f = ... in f l" used to be compiled incorrectly
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 19 Nov 2005 18:28:15 +0000 (18:28 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 19 Nov 2005 18:28:15 +0000 (18:28 +0000)
commitf5b76bf5f55bbd2f2053e36d4b251548f3ed8623
treeee3166bd262d7d9e58e8fb833c1cf5c18ef13cb3tree | snapshot
parente3ba094ac1ba1f73fbb558944715cfa6707da868commit | diff
"let rec f = ... in f l" used to be compiled incorrectly
(without checking if f occurs in l and without delifting l!!!)
helm/ocaml/cic_disambiguation/disambiguate.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.