summaryrefslogtreecommitdiff
path: root/lambda
Commit message (Expand)AuthorAgeFilesLines
* matching: use polymorphic variants to classify general/half_simple/simple pat...poly-varsGabriel Scherer2020-02-191-169/+221
* [REVIEW REQUIRED] matching: ctx_matcher with headsctx_matcher-with-headsGabriel Scherer2020-02-191-70/+46
* matching: start using Pattern_headstructured-rowsThomas Refis2020-02-191-72/+69
* matching: Add intermediary types to keep track of the compilation state of pmsThomas Refis2020-02-191-302/+520
* matching: move things aroundThomas Refis2020-02-191-6/+9
* matching: half_compiled_row: (head, patl, act) => - 12 assert falseThomas Refis2020-02-191-72/+87
* -dno-locations: hide source locations (and debug events) from IR dumpsGabriel Scherer2020-01-091-1/+8
* Make ocamlc preserve events after primitives even if they are at tail position.Jacques-Henri Jourdan2020-01-091-9/+31
* Make tuple matching optimisation apply to Lswitch and Lstringswitch.Stephen Dolan2019-12-191-1/+16
* manual: make labels mandatoryFlorian Angeletti2019-12-051-1/+1
* Fixing typos (#9162)Fourchaux2019-12-041-3/+3
* Annotated Asttypes.constant's string with content location.Drup2019-11-134-10/+13
* Merge pull request #8805 from stedolan/statmemprof-comballoc-nativeGabriel Scherer2019-11-062-0/+16
|\
| * Use allocation-size info on more than just amd64.Stephen Dolan2019-10-222-0/+16
* | Enforce a structure invariant in [Tpat_value p] patternsGabriel Scherer2019-10-311-1/+1
* | split patterns into "value patterns" and "computation patterns"Gabriel Scherer2019-10-312-6/+11
|/
* a better representation for modules with no name (#8908)Thomas Refis2019-10-093-78/+151
* [minor] clarify the implementation of Typedtree.pat_bound_idents_fullGabriel Scherer2019-09-251-2/+3
* refactor the generic pattern traversal functionsGabriel Scherer2019-09-241-33/+11
* Fix "open struct .. end" on clambda backend (#8944)Thomas Refis2019-09-171-1/+2
* warning 60: enable on local modulesThomas Refis2019-08-281-1/+0
* Refactor environment lookup functionsLeo White2019-08-152-2/+2
* matching.ml: correct a missed optimization opportunity in split_no_orGabriel Scherer2019-08-131-1/+10
* matching: add some documentationThomas Refis2019-08-131-1/+8
* matching: point to extra division exampleThomas Refis2019-08-061-1/+2
* matching: move spliting decision to its own functionThomas Refis2019-08-061-16/+13
* matching: dedup precompile_normal and dont_precompile_varThomas Refis2019-08-061-13/+6
* matching: decide whether to split early or to raise rowsThomas Refis2019-08-051-2/+15
* matching: merge collect_group and collect_varThomas Refis2019-08-051-23/+16
* matching: get_group => can_groupThomas Refis2019-08-021-7/+7
* matching: share splitting code between both collect functionsThomas Refis2019-08-021-20/+13
* matching: highlight similarity between collect_group and collect_varsThomas Refis2019-08-021-12/+11
* matching: comment split_no_orThomas Refis2019-08-021-0/+13
* matching: merge split_naive and split_constrThomas Refis2019-08-021-140/+64
* matching: slightly more precise top commentThomas Refis2019-08-021-3/+3
* Merge pull request #8850 from trefis/matching-default-envThomas Refis2019-08-051-126/+192
|\
| * matching: describe invariant for default matricesThomas Refis2019-08-051-0/+3
| * matching: add a comment on default environmentsThomas Refis2019-08-051-2/+18
| * matching: make default environments abstractThomas Refis2019-08-051-120/+160
| * matching: rewrite rebuild_default using cons_defaultThomas Refis2019-08-051-6/+13
* | matching: add an introductory commentThomas Refis2019-08-021-8/+73
|/
* Merge pull request #8768 from trefis/matching-1st-prThomas Refis2019-07-303-2157/+2493
|\
| * matching: stop at 80cThomas Refis2019-07-291-8/+13
| * matching: remove redundant functionThomas Refis2019-07-291-11/+1
| * matching: more precise doc for half_simplify_casesThomas Refis2019-07-291-2/+3
| * matching: typo in fatal_errorThomas Refis2019-07-291-1/+1
| * matching: detect extension constructors the obvious wayThomas Refis2019-07-291-94/+97
| * matching: move commentThomas Refis2019-07-291-3/+3
| * matching: remove redundant information from PmVarThomas Refis2019-07-291-22/+30
| * matching: documment that pattern_matching.args are not just variablesGabriel Scherer2019-07-291-0/+5
View Lorry Controller Status