]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aa65eb1) | patch
- bugfix: eta abstractions ignores attributed node while counting lambdas
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 20 Sep 2005 15:27:04 +0000 (15:27 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 20 Sep 2005 15:27:04 +0000 (15:27 +0000)
commit2ecd65dbcc1388bb2dfe6425e6ef1b2e3f45c4ac
tree245002469878046d81c41853bb1c4f9cc5398b10tree | snapshot
parentaa65eb18f06d98daa08b5df55a59cac54fe7224acommit | diff
- bugfix: eta abstractions ignores attributed node while counting lambdas
- permit pattern matching on attributed asts (since attributes are transparent to pattern matching)
- wrapped with assert false some unsafe function invocations (e.g. List.map2)
- removed reset_href (no longer needed)
helm/ocaml/cic_notation/cicNotationRew.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.