]> matita.cs.unibo.it Git - helm.git/commit
There were a big bug in both Fix and CoFix: the recursive functions were
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 11 Jan 2002 18:25:37 +0000 (18:25 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 11 Jan 2002 18:25:37 +0000 (18:25 +0000)
commitf58a80f4ad1aaf26eecb7a8fb7ebef436fb0967a
tree243b66d60de85c6fd268446fd145c5b3440e621f
parent0195d58340f7dbc852d380a8fee897e1c1f7da03
There were a big bug in both Fix and CoFix: the recursive functions were
not bounded in the bodies.

Fix and CoFix syntax changed to a less natural, but easier to parse one.
The above bug has been fixed.
helm/ocaml/cic_textual_parser/cicTextualParser.mly