]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b40e4e9) | patch
Matitaweb: Fixes a bug in the extensible parser which caused Matita to crash
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 23 Mar 2012 10:24:22 +0000 (10:24 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 23 Mar 2012 10:24:22 +0000 (10:24 +0000)
commitae6757199708cc32166961debb52d48114c0eb74
treec06e11a1cc3f51d0154aa199730867f486ed9bdetree | snapshot
parentb40e4e96e85103c7072985990c6b541371fd5a48commit | diff
Matitaweb: Fixes a bug in the extensible parser which caused Matita to crash
when parsing a notation using keywords (rather than symbols). The semantic
action associated to the notation was expecting the parser to decorate the
keyword token with its location: this was not happening, causing a runtime
type exception.
matitaB/components/content_pres/cicNotationLexer.ml diff | blob | history
matitaB/components/content_pres/cicNotationLexer.mli diff | blob | history
matitaB/components/content_pres/cicNotationParser.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.