summaryrefslogtreecommitdiff
path: root/lambda/matching.ml
Commit message (Expand)AuthorAgeFilesLines
* typo fixGabriel Scherer2023-03-051-1/+1
* matching.ml: explain the compilation strategy for switches on constructorsGabriel Scherer2023-03-051-9/+50
* Fix code duplication in pattern matching of polymorphic variants (#11893)Vincent Laviron2023-01-191-2/+20
* ReviewVincent Laviron2022-10-021-9/+8
* Stop using integer comparison on potential pointersVincent Laviron2022-09-301-2/+8
* add -safer-matching flag to disable type-based optimization of pattern-matchingJacques Garrigue2022-07-191-2/+2
* Remove configuration options --disable-force-safe-string and DEFAULT_STRING=u...Kate2022-02-011-2/+2
* Review: reference pull requestsVincent Laviron2022-01-161-2/+2
* Bring back and update comment on CamlinternalLazy.force_genVincent Laviron2022-01-161-3/+5
* Move opaque wrapper to compiler-generated codeVincent Laviron2022-01-161-30/+17
* Merge commit '2250fd8a2218796c07b0a25f184cdc682e4695ba' into 5.00_rebase_to_prTom Kelly2021-12-201-6/+19
|\
| * abstract row_field (#10627)Jacques Garrigue2021-10-221-2/+2
| * Enforce boolean Lifthenelse in native modeVincent Laviron2021-10-211-4/+17
* | matching.ml now uses obj_tag primitive. Revert test changes. Fix bug.KC Sivaramakrishnan2021-11-301-5/+5
* | update CamlinternalLazy.force to force_genJan Midtgaard2021-11-081-2/+2
* | remove historical for_handler and Reperform_noaloc in lambda/matchingTom Kelly2021-10-111-10/+4
* | Merge commit '8da8b7e028431f02bc85c641965133bff68220e0' into 5.00Tom Kelly2021-10-041-2/+5
|\ \ | |/
| * [minor] switch.ml: distinguish types for arguments, tests and actionsGabriel Scherer2021-09-201-2/+5
* | Merge commit '7ad8c1368346c8a9d492f130442bff48807961b4' into 5.00Tom Kelly2021-10-041-9/+4
|\ \ | |/
| * Force normalization on access to `row_desc` (#10474)Jacques Garrigue2021-09-101-9/+4
* | Merge commit '0ba253df4667668bc01dd9e239fba13f743e1752' into parallel_minor_g...Tom Kelly2021-10-011-3/+3
|\ \ | |/
| * Make build_other_constrs work with names instead of tags. (#10428)Nicolas Chataing2021-05-281-3/+3
* | Merge commit '89aae98b22634d896b9d59f717decf2d3e7d4af3' into parallel_minor_g...Tom Kelly2021-09-291-2/+2
|\ \ | |/
| * Allow to name existentials in pattern-matching (#9584)Jacques Garrigue2021-02-041-2/+2
* | Merge commit 'd0f80077066105e1429ef8728b8362b8d698e298' into parallel_minor_g...Tom Kelly2021-09-291-2/+3
|\ \ | |/
| * added new construct Lmutlet and removed Variable attributeKeryan Didier2021-01-071-0/+1
| * added new lambda construct Lmutvar (#9954)Keryan Didier2021-01-071-2/+2
* | Merge commit 'e6acde75863c7a4e52f948f87436a53a2fe50f42' into parallel_minor_g...Tom Kelly2021-09-281-83/+45
|\ \ | |/
| * matching: use toplevel_handler in for_tupled_functionGabriel Scherer2020-11-211-17/+8
| * matching: factorize the code handling toplevel matching failuresGabriel Scherer2020-11-211-61/+35
| * matching: [minor] inline the single-use split_and_precompileGabriel Scherer2020-11-211-7/+4
* | Merge commit '055f04d189273068396da8c298e6226dff90f26c' into parallel_minor_g...Tom Kelly2021-09-281-92/+173
|\ \ | |/
| * matching: clarify the ~vars argument of Simple.explode_or_patGabriel Scherer2020-10-211-9/+11
| * matching: simplify the interface of Simple.explode_or_patGabriel Scherer2020-10-211-14/+12
| * Matching.Simple.explode_or_pat: on-demand generation of fresh identifiersGabriel Scherer2020-10-211-16/+24
| * add a comment to explain what Simple.explode_or_pat doesGabriel Scherer2020-10-211-0/+24
| * matching: avoid useless bindings in do_for_multiple_matchGabriel Scherer2020-10-211-1/+3
| * matching: towards a correctness argument for flatten_* ignoring variablesGabriel Scherer2020-10-211-9/+11
| * Match.do_for_multiple_match: we can always flattenGabriel Scherer2020-10-211-35/+21
| * Matching.explode_or_pat: handle the case where the argument has no idGabriel Scherer2020-10-211-34/+54
| * matching: document the behavior of precompile_or through an exampleGabriel Scherer2020-10-211-0/+39
* | Merge commit '01c6a5ebe38b680a0b104aa4075ff790f311ea01' into parallel_minor_g...Tom Kelly2021-03-041-45/+68
|\ \ | |/
| * matching: a first-order representation for match-failure handlingGabriel Scherer2020-07-081-42/+53
| * pass a proper location to Matching.for_trywithGabriel Scherer2020-07-081-2/+11
* | Merge commit '368eb16ee80843afc6c40cf98e6994256747844a' into parallel_minor_g...Tom Kelly2021-03-041-2/+2
|\ \ | |/
| * change API for Env.open_signature to clarify errorsJacques Garrigue2020-06-231-2/+2
* | Merge commit 'b7509ca82f9bd647c1cb7e810b6bb152e145e3fb' into parallel_minor_g...Tom Kelly2021-03-031-9/+9
|\ \ | |/
| * Merge pull request #9442 from gasche/tailcall-attribute-refactoringGabriel Scherer2020-06-101-3/+3
| |\
| | * [refactoring] gives tailcall attributes a more standard structureGabriel Scherer2020-06-081-3/+3
* | | Merge commit '56f7500f5c2d8aa0784bfbd692bf1a191fb7271b' into parallel_minor_g...Tom Kelly2021-03-031-25/+27
|\ \ \ | |/ /
View Lorry Controller Status