aboutsummaryrefslogtreecommitdiff
path: root/gramlib/grammar.ml
AgeCommit message (Expand)Author
2019-05-23Fixing typos - Part 2JPR
2019-03-31Multiple payload types in tokensPierre Roux
2019-03-31[parsing] Split Tok.t into Tok.t and Tok.patternEnrico Tassi
2019-03-29[parser] initialization based on Loc.t rather than Loc.sourceEnrico Tassi
2019-02-19Gramlib: Fixes #9358 (ensuring that the loc function has something to compute).Hugo Herbelin
2019-02-11Almost fully type-safe implementation of camlp5.Pierre-Marie Pédrot
2019-02-11Further propagation of well-typedness in Grammar.Pierre-Marie Pédrot
2019-02-11Introduce a GADT of well-typed grammar entries in Grammar.Pierre-Marie Pédrot
2019-02-11Centralizing the calls to the global mutable grammar in Grammar.Pierre-Marie Pédrot
2019-02-11Specialize the intermediate types of the Grammar functor.Pierre-Marie Pédrot
2019-02-11Make Grammar truly functorial.Pierre-Marie Pédrot
2019-02-11Move most of Gramext into Grammar.Pierre-Marie Pédrot
2019-02-05Remove the Plexing.Error exception.Pierre-Marie Pédrot
2018-12-05Remove dead code in camlp5.Pierre-Marie Pédrot
2018-12-05Remove the lexer field from Gramlib.Pierre-Marie Pédrot
2018-11-30[gramlib] Remove `Ploc.t` in favor of `Loc.t`Emilio Jesus Gallego Arias
2018-11-27[gramlib] Remove unused function `gram_reinit`.Emilio Jesus Gallego Arias
2018-11-27[gramlib] Minor cleanups:Emilio Jesus Gallego Arias
2018-11-23Remove the unsafe API from gramlib.Pierre-Marie Pédrot
2018-11-19[gramlib] Remove unused alias.Emilio Jesus Gallego Arias
2018-11-06Remove the non-functorial interface of camlp5 grammars.Pierre-Marie Pédrot
2018-11-05Remove the Scut constructor from Gramlib.Pierre-Marie Pédrot
2018-11-05Remove the Sflag constructor from Gramlib.Pierre-Marie Pédrot
2018-11-05Remove the Sfacto constructor from Gramlib.Pierre-Marie Pédrot
2018-11-05Remove the Svala constructor from Gramlib.Pierre-Marie Pédrot
2018-11-05Remove Smeta constructor in Gramlib.Pierre-Marie Pédrot
2018-10-29[gramlib] Cleanup, remove unused parsing infrastructure.Emilio Jesus Gallego Arias
2018-10-29[camlp5] Fix warnings, switch Coq to vendored library.Emilio Jesus Gallego Arias
2018-10-29[camlp5] Automatic conversion from revised syntax + parsersEmilio Jesus Gallego Arias
2018-10-29[gramlib] Original Import from Camlp5 repos.Emilio Jesus Gallego Arias
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 17:23:51 +0000