]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1fe616b) | patch
- enriched Parse_error exception with error location
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 9 Dec 2004 15:18:30 +0000 (15:18 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 9 Dec 2004 15:18:30 +0000 (15:18 +0000)
commit78c95f6f3ed42633c4b2cbf62b816538d4208d7c
treedd9ab50bb6a107d9b1f2cffc8b1a08d41bcb1fd7tree | snapshot
parent1fe616bda25a6208c4d19f61220e570c71bcc25acommit | diff
- enriched Parse_error exception with error location
- first implementation of inductive type definitions (not yet completed:
  mutual inductive definition are still missing)
- test parser now displays error location using ASCII escape coloring
helm/ocaml/cic_disambiguation/cicTextualParser2.ml diff | blob | history
helm/ocaml/cic_disambiguation/cicTextualParser2.mli diff | blob | history
helm/ocaml/cic_disambiguation/test_parser.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.