summaryrefslogtreecommitdiff
path: root/parsing/parsetree.mli
Commit message (Expand)AuthorAgeFilesLines
* parsetree: explicit type constraints for value bindings (#12119)Florian Angeletti2023-03-241-1/+10
* Add syntax for generative functor application (#11984)Richard Eisenberg2023-02-121-1/+2
* `odoc`ify the parsetree comments (#11107)panglesd2022-03-281-462/+528
* Parsetree: add a comment with an example for module_substitutionAaron L. Zeng2021-12-061-0/+1
* Fix a typo in parsetree.mliFlorian Angeletti2021-08-191-1/+1
* Allow explicit binders for type variables (#10437)Stephen Dolan2021-06-301-4/+8
* review: rename Pwith_module_type* to Pwith_modtype*octachron2021-02-251-2/+2
* with module type = sig endoctachron2021-02-171-3/+3
* module type S := ...: coreoctachron2021-02-171-0/+2
* Module type substitutions: coreoctachron2021-02-171-0/+4
* Allow to name existentials in pattern-matching (#9584)Jacques Garrigue2021-02-041-4/+6
* re-do of print polyvariants that start with a core_type,closed, not low with ...Chet Murthy2020-09-091-1/+1
* Add injectivity annotations (#9500)Jacques Garrigue2020-06-151-3/+3
* Annotate constant literals with the location of their content.Drup2019-11-131-1/+3
* a better representation for modules with no name (#8908)Thomas Refis2019-10-091-7/+16
* Add a type alias for location stack in the parsetree (#8803)hhugo2019-07-121-3/+5
* Tweak the definition of Parsetree.Pexp_letop (#8535)Xavier Clerc2019-03-211-6/+9
* Add support for "let" operatorsLeo White2018-11-271-0/+15
* Extend `open` to arbritrary module expressions in structures and toRunhang Li2018-11-261-6/+15
* introduce local substitutions in signaturesThomas Refis2018-11-091-2/+15
* manual: compiler-libs.mld -> compiler_libs.mldFlorian Angeletti2018-09-121-1/+1
* MPR7546, manual: preambles and warnings for compiler-libs modules (#2020)Florian Angeletti2018-09-121-1/+6
* The parser keeps previous location when relocating ast nodeHugo Heuzard2018-09-061-0/+3
* parsetree.{row,object}_field: move attributes in the wrapper recordGabriel Scherer2018-08-201-3/+5
* parsetree: make sure that all nodes that store attributes also store a locationGabriel Scherer2018-08-201-5/+15
* Add locations to attributesHugo Heuzard2018-08-061-1/+5
* Add locations to toplevel directivesHugo Heuzard2018-08-061-2/+14
* allow to attach @@ attributes on exceptionsHugo Heuzard2018-04-091-3/+10
* Support empty variants (#1546)objmagic2018-03-061-1/+0
* PR#7363: start documentation headers at {1octachron2017-10-041-5/+5
* Merge pull request #792 from sliquister/generalize-destr-subst2Leo White2017-09-151-4/+4
|\
| * Support syntax: S with module M.N := ..Valentin Gatien-Baron2017-08-011-2/+2
| * Support syntax: S with M.N.t := ...Valentin Gatien-Baron2017-08-011-2/+2
* | Fix doc.alainfrisch2017-09-121-3/+3
* | Typos and basic grammar error fixing (#1280)Fourchaux2017-08-101-1/+1
* | parsetree.mli: consistently use 'label' for polymorphic variants and objectsGabriel Scherer2017-07-281-9/+9
* | merge trunk and update testRunhang Li2017-07-231-1/+6
|\ \ | |/
| * Support 'let open' in class and class type expressions (#1249)Alain Frisch2017-07-201-1/+6
* | Support inherited field in object type expression.Mark Li2017-03-221-2/+6
|/
* Add missing locations in the parsetree (#749)Fabrice Le Fessant2016-08-291-7/+7
* document Ppat_open (missing from GPR #187)Gabriel Scherer2016-08-031-3/+4
* GPR#187: local open for patternsoctachron2016-05-091-0/+1
* Local let exceptions.alainfrisch2016-03-151-0/+2
* Update headers for the new license.Damien Doligez2016-02-181-11/+14
* Rename parsetree constants.Drup2016-01-181-4/+4
* Add comments on Parsetree's constants.Drup2016-01-181-0/+14
* Add signature payloads for extension and attributes.Drup2015-12-091-0/+1
* Parse arbitrary precision integers ..Hugo Heuzard2015-12-031-1/+7
* switch to 'pat -> .' and add P/Texp_unreachablegadt-warningsJacques Garrigue2015-10-161-1/+3
* add refuted cases, syntax is 'pat -> _'Jacques Garrigue2015-10-151-1/+1
View Lorry Controller Status