]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5c065c4) | patch
Fix bug in dangerous_conv with arity of arguments of matches.
authoracondolu <andrea.condoluci@unibo.it>
Tue, 11 Jul 2017 09:37:18 +0000 (11:37 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Tue, 11 Jul 2017 09:37:18 +0000 (11:37 +0200)
commitba587b3b30282e7ec4638221b4fd9ed66be19a41
treeef7bd1d34a6250e2debc627324e4f78dbb426f51tree | snapshot
parent5c065c453e7d3f1e35d9f23fb4b6345d88d0f083commit | diff
Fix bug in dangerous_conv with arity of arguments of matches.
Next bug: variable replaced twice
ocaml/lambda4.ml diff | blob | history
ocaml/logs/fail.txt diff | blob | history
ocaml/problems.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.