summaryrefslogtreecommitdiff
path: root/typing/untypeast.ml
Commit message (Expand)AuthorAgeFilesLines
* use find_first_mono in UntypeastGabriel Scherer2023-02-281-6/+4
* Add syntax for generative functor application (#11984)Richard Eisenberg2023-02-121-1/+4
* Encode extra types within pathHyunggyu Jang2022-11-111-2/+3
* Add explicit constructors to Path.t for inline record typesLeo White2022-11-111-1/+2
* Improve the location reported by parenthesized assertions (#10852)Fabian2022-07-251-1/+1
* Fix untyping of patterns without named existentialsUlysse Gérard2021-08-311-6/+9
* Represent ancestor variables more directlyLeo White2021-07-131-2/+3
* Allow explicit binders for type variables (#10437)Stephen Dolan2021-06-301-2/+3
* review: rename Pwith_module_type* to Pwith_modtype*octachron2021-02-251-4/+4
* with module type = sig endoctachron2021-02-171-4/+6
* 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-10/+18
* Move typed_impl to Typedtree.tLeandro Ostera2020-11-051-4/+4
* Untypeast: define untype_expression, untype_pattern (#9920)Thomas Refis2020-09-161-0/+6
* Annotated Asttypes.constant's string with content location.Drup2019-11-131-1/+1
* Annotate constant literals with the location of their content.Drup2019-11-131-1/+1
* typedtree: make the Tpat_value argument a private synonymGabriel Scherer2019-10-311-1/+1
* split patterns into "value patterns" and "computation patterns"Gabriel Scherer2019-10-311-13/+11
* a better representation for modules with no name (#8908)Thomas Refis2019-10-091-9/+15
* Refactor environment lookup functionsLeo White2019-08-151-5/+2
* Remove Misc.may_map and similarLeo White2019-05-231-16/+14
* Add support for "let" operatorsLeo White2018-11-271-2/+35
* Extend `open` to arbritrary module expressions in structures and toRunhang Li2018-11-261-8/+17
* Remove positions from pathsLeo White2018-11-211-2/+2
* introduce local substitutions in signaturesThomas Refis2018-11-091-0/+13
* s/string_of_int/Int.to_string/gDaniel Bünzli2018-11-071-2/+2
* parsetree.{row,object}_field: move attributes in the wrapper recordGabriel Scherer2018-08-201-8/+10
* parsetree: make sure that all nodes that store attributes also store a locationGabriel Scherer2018-08-201-11/+17
* Add locations to attributesHugo Heuzard2018-08-061-1/+6
* allow exceptions under or-patternsThomas Refis2018-07-161-12/+3
* allow to attach @@ attributes on exceptionsHugo Heuzard2018-04-091-2/+9
* Make Ident.t abstract and immutable. (#1704)Gabriel Radanne2018-04-091-1/+1
* Merge pull request #792 from sliquister/generalize-destr-subst2Leo White2017-09-151-4/+3
|\
| * Support syntax: S with module M.N := ..Valentin Gatien-Baron2017-08-011-3/+1
| * Support syntax: S with M.N.t := ...Valentin Gatien-Baron2017-08-011-1/+2
* | Remove spurious semicolons after non-unit expressions (#1305)Alain Frisch2017-08-291-21/+21
* | merge trunk and update testRunhang Li2017-07-231-0/+5
|\ \ | |/
| * Support 'let open' in class and class type expressions (#1249)Alain Frisch2017-07-201-0/+5
* | Support inherited field in object type expression.Mark Li2017-03-221-2/+9
|/
* Annotate Texp_function with an Ident.t for the parameter (#831)Mark Shinwell2016-10-141-6/+10
* Add missing locations in the parsetree (#749)Fabrice Le Fessant2016-08-291-8/+12
* Change Texp_record into an inline recordPierre Chambart2016-07-111-2/+2
* Switch declaration and definition order in Tepx_record fieldsPierre Chambart2016-07-111-2/+2
* Merge record label descriptions and definition into a single arrayPierre Chambart2016-07-111-3/+3
* Change Texp_record contents to ease the usePierre Chambart2016-07-111-5/+7
* More warnings when compiling the compiler.alainfrisch2016-03-151-1/+1
* Local let exceptions.alainfrisch2016-03-151-0/+3
* Update headers for the new license.Damien Doligez2016-02-181-3/+6
* Rename parsetree constants.Drup2016-01-181-7/+7
View Lorry Controller Status