]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ba587b3) | patch
Bug fix: x (y z) where y was conv_dangerous did not make x so
authoracondolu <andrea.condoluci@unibo.it>
Tue, 11 Jul 2017 11:22:41 +0000 (13:22 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Tue, 11 Jul 2017 11:22:41 +0000 (13:22 +0200)
commitfb028533f111b1e218c4ccb4620c204f31a2b2ed
tree49fafa5423f10c31afd5c4baa0c2f286d40dc39atree | snapshot
parentba587b3b30282e7ec4638221b4fd9ed66be19a41commit | diff
Bug fix: x (y z) where y was conv_dangerous did not make x so

Additional fix to last commit: args' where no longer checked for dangerous
variables. Fixed by passing three arguments to dangerous_invert_conv in
place of two.
ocaml/lambda4.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.