aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/cAst.ml
Commit message (Collapse)AuthorAge
* [location] Renaming "CAst.ast" to "CAst.t"Gravatar Matej Košík2017-05-24
|
* [location] Cleanup.Gravatar Emilio Jesus Gallego Arias2017-04-25
| | | | | We remove some unnecessary functions introduced before in the patch series + unused functions.
* [location] [ast] Switch Constrexpr AST to an extensible node type.Gravatar Emilio Jesus Gallego Arias2017-04-25
Following @gasche idea, and the original intention of #402, we switch the main parsing AST of Coq from `'a Loc.located` to `'a CAst.ast` which is private and record-based. This provides significantly clearer code for the AST, and is robust wrt attributes.