]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0582a60) | patch
Serious bug fixed: arities of coercions in the .moo files were not computed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 30 Dec 2006 20:56:13 +0000 (20:56 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 30 Dec 2006 20:56:13 +0000 (20:56 +0000)
commit686ad41d7c9431094c12dae0fa6b84a898c38e84
treef3ef03163724d49b36d52e1ba17af69e9da6701atree | snapshot
parent0582a602f0b1d6f5430326893a473d78b0aa7dfdcommit | diff
Serious bug fixed: arities of coercions in the .moo files were not computed
correctly. Thus including another file a bugged coercion graph was produced,
with randomic effects quite hard to understand. (Examples in dama where
it was not possible to use <= in place of le here and there because of a
coercion with the wrong arity).
helm/software/components/grafite_engine/grafiteEngine.ml diff | blob | history
helm/software/components/grafite_engine/grafiteSync.mli diff | blob | history
helm/software/components/library/librarySync.ml diff | blob | history
helm/software/components/library/librarySync.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.