summaryrefslogtreecommitdiff
path: root/typing/parmatch.ml
Commit message (Expand)AuthorAgeFilesLines
* Remove arity-interrupting elaboration of module unpacks (#12117)Nick Roberts2023-04-051-39/+4
* Protect Parmatch.pats_of_type from missing cmis (#11809)Jacques Garrigue2022-12-131-19/+17
* Fixing typos (#11705)Fourchaux2022-11-071-1/+1
* separate type_pat and retype_pat (#11027)Takafumi Saikawa2022-08-301-95/+5
* Remove configuration options --disable-force-safe-string and DEFAULT_STRING=u...Kate2022-02-011-1/+1
* abstract row_field (#10627)Jacques Garrigue2021-10-221-8/+8
* Force normalization on access to `row_desc` (#10474)Jacques Garrigue2021-09-101-23/+25
* Normalize type_expr nodes on access (#10337)Jacques Garrigue2021-06-241-7/+8
* Make build_other_constrs work with names instead of tags. (#10428)Nicolas Chataing2021-05-281-41/+20
* Move type_unboxed.unboxed into type_kindStephen Dolan2021-05-251-2/+2
* Refactor type_descriptions in the typing envNicolas Chataing2021-05-071-12/+9
* Allow to name existentials in pattern-matching (#9584)Jacques Garrigue2021-02-041-15/+15
* Rename Unused_subpat => Redundant_subpatNicolás Ojeda Bär2020-07-201-1/+1
* Rename Unused_case => Redundant_caseNicolás Ojeda Bär2020-07-201-2/+2
* Rename Ambiguous_pattern => Ambiguous_var_in_pattern_guardNicolás Ojeda Bär2020-07-201-2/+2
* Rename Unused_pat => Unused_subpatNicolás Ojeda Bär2020-07-201-1/+1
* Rename Unused_match => Unused_caseNicolás Ojeda Bär2020-07-201-2/+2
* Parmatch.exhaust: single-row optimizationGabriel Scherer2020-06-071-62/+102
* parmatch: ensure specialized submatrices are in source orderGabriel Scherer2020-05-301-8/+21
* parmatch: make 'exhaust' lazy by returning a Seq.tGabriel Scherer2020-05-301-108/+75
* Matching: propagate constructor descriptions in complete_pats_constrsGabriel Scherer2020-05-261-15/+6
* fixup! matching: use pattern views in Parmatch as wellGabriel Scherer2020-05-211-4/+7
* make check-typo happyGabriel Scherer2020-05-161-5/+3
* matching: use pattern views in Parmatch as wellGabriel Scherer2020-05-141-127/+119
* patterns: reuse ('a Typedtree.pattern_) to define Patterns.Head.tGabriel Scherer2020-05-141-80/+81
* patterns: move Parmatch.Pattern_head into Patterns.HeadGabriel Scherer2020-05-141-217/+60
* parmatch: normalize_pat is not used anymoreFlorian Angeletti2020-05-011-7/+0
* parmatch: Pattern_head.arityGabriel Scherer2020-04-181-0/+12
* Annotated Asttypes.constant's string with content location.Drup2019-11-131-4/+6
* Typecore.type_pat: refactor ppat_of_type and Need_backtrack in wildcardsJacques Garrigue2019-11-041-6/+20
* Parmatch: use correct names for constructors in pat_of_constr and pats_of_typeJacques Garrigue2019-11-041-2/+2
* split patterns into "value patterns" and "computation patterns"Gabriel Scherer2019-10-311-11/+8
* a better representation for modules with no name (#8908)Thomas Refis2019-10-091-1/+3
* refactor the generic pattern traversal functionsGabriel Scherer2019-09-241-6/+5
* Merge pull request #8768 from trefis/matching-1st-prThomas Refis2019-07-301-3/+3
|\
| * matching: do_set_args: label argumentGabriel Scherer2019-06-111-3/+3
* | parmatch: stop raising from get_field, make it localThomas Refis2019-07-161-9/+6
* | parmatch: detect extension constructors the obvious wayThomas Refis2019-07-161-3/+2
* | parmatch: introduce a Pattern_head typeThomas Refis2019-07-161-384/+526
|/
* Remove Misc.may_map and similarLeo White2019-05-231-2/+2
* Added copyright to tast_iterator.mlIsaac Avram2019-03-251-1/+1
* Made global open into a local one in parmatchIsaac Avram2019-03-241-2/+1
* Fixed compiler errors in typing/parmatch.mlIsaac Avram2019-03-231-1/+3
* Updated parmatch to use tast_iteratorIsaac Avram2019-03-231-27/+24
* Fixing typos in various files (#2246)Fourchaux2019-02-131-2/+2
* Remove positions from pathsLeo White2018-11-211-1/+1
* s/string_of_int/Int.to_string/gDaniel Bünzli2018-11-071-1/+1
* ident: split Local into Local and ScopedThomas Refis2018-09-211-2/+2
* ident: add an explicit scope fieldThomas Refis2018-09-211-2/+2
* Deprecate Pervasives (#1605)Jérémie Dimino2018-08-271-2/+2
View Lorry Controller Status