summaryrefslogtreecommitdiff
path: root/lambda
Commit message (Expand)AuthorAgeFilesLines
...
| * [review]: in TMC ambiguity errors, print the ambiguous callsitesGabriel Scherer2021-11-021-40/+106
| * [review] copyright headers and .mli fileGabriel Scherer2021-11-022-0/+43
| * TMC: do not warn on ambiguous sub-terms of non-ambiguous programsGabriel Scherer2021-11-021-4/+45
| * TMC: implement [@tail_mod_cons] for non-recursive letsGabriel Scherer2021-11-021-9/+22
| * [review] TMC: make 'offset' distinct from 'lambda' for clarityGabriel Scherer2021-11-021-12/+14
| * [review] tmc: use a placeholder value that is better for debuggingGabriel Scherer2021-11-021-2/+4
| * [review] interface for Tmc.ConstrGabriel Scherer2021-11-021-29/+53
| * [review] TMC: rename 'return' to 'lambda'Gabriel Scherer2021-11-021-9/+12
| * [review] rename 'con' into 'constr'Gabriel Scherer2021-11-021-21/+26
| * TMC: support Tupled functions and partial applicationsGabriel Scherer2021-11-021-3/+21
| * [refactoring] move Simplif.exact_application to LambdaGabriel Scherer2021-11-023-17/+22
| * TMC: warn when a tail-call is broken by the TMC transformation.Gabriel Scherer2021-11-021-37/+36
| * TMC: warn if there is no optimization opportunityGabriel Scherer2021-11-021-0/+4
| * TMC: error if several different calls could be optimizedGabriel Scherer2021-11-021-25/+100
| * TMC: Constructor composition in direct style: [benefits_from_dps : bool].Gabriel Scherer2021-11-021-6/+26
| * TMC: [minor] improve dummy name generation for let-bound argumentsGabriel Scherer2021-11-021-7/+10
| * TMC: optimize constructor compositionBasile Clement2021-11-021-52/+253
| * TMC: generalize `Choice.t` to use binding operatorsGabriel Scherer2021-11-021-203/+246
| * TMC: product representation of choicesBasile Clement2021-11-021-113/+117
| * preliminary implementation of TMC (tail modulo cons)Gabriel Scherer2021-11-022-1/+512
| * prepare for TMC (tail modulo cons) transformationFrédéric Bour2021-11-025-7/+37
* | Merge commit '2250fd8a2218796c07b0a25f184cdc682e4695ba' into 5.00_rebase_to_prTom Kelly2021-12-204-11/+71
|\ \ | |/
| * abstract row_field (#10627)Jacques Garrigue2021-10-221-2/+2
| * Add comment on Simplif.split_default_wrapper's pattern matchingVincent Laviron2021-10-211-0/+15
| * Review: Document Switch.Make parametersVincent Laviron2021-10-211-1/+18
| * Enforce boolean Lifthenelse in native modeVincent Laviron2021-10-214-8/+36
* | Whitespace and line lengthsDavid Allsopp2021-12-191-5/+10
* | 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-112-14/+4
* | remove multicore nop debugging (reverts ocaml-multicore#384)Tom Kelly2021-10-084-10/+5
* | Merge commit '8da8b7e028431f02bc85c641965133bff68220e0' into 5.00Tom Kelly2021-10-043-25/+44
|\ \ | |/
| * [minor] switch.ml: distinguish types for arguments, tests and actionsGabriel Scherer2021-09-203-25/+44
* | 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 'cdc32182aed4ab327084aeb3090e529f6cec4b46' into 5.00Tom Kelly2021-10-044-8/+20
|\ \ | |/
| * Merge pull request #10500 from gasche/comment-on-match-exnGabriel Scherer2021-07-164-8/+20
| |\
| | * [minor] make Lambda.Not_simple local to its only userGabriel Scherer2021-07-151-2/+1
| | * [minor] remove unused exception Switch.Not_simpleGabriel Scherer2021-07-152-4/+0
| | * [minor] a code comment on match-with-exception compilationGabriel Scherer2021-07-151-2/+19
* | | Merge commit 'b3d2cdcbe663e923e5091a81ceebb8d2e40a942c' into 5.00Tom Kelly2021-10-042-10/+18
|\ \ \ | |/ /
| * | Rename ConcrLeo White2021-07-151-2/+2
| * | Represent ancestor variables more directlyLeo White2021-07-131-5/+14
| * | Relax object duplication restrictionsLeo White2021-07-131-3/+2
| |/
* | Merge commit '650ba029a5c1c3e9f2edc8cacd30ff27d3184348' into 5.00Tom Kelly2021-10-041-4/+4
|\ \ | |/
| * Normalize type_expr nodes on access (#10337)Jacques Garrigue2021-06-241-3/+3
| * Split labels and polymorphic variants tutorials; move GADTs into tutorial (#1...John Whitington2021-06-231-1/+1
* | Merge commit 'e5e9c5fed56efdd67601e4dbbaebeb134aee361c' into 5.00Tom Kelly2021-10-011-1/+1
|\ \ | |/
| * TyposJPR2021-06-061-1/+1
* | Merge commit '0ba253df4667668bc01dd9e239fba13f743e1752' into parallel_minor_g...Tom Kelly2021-10-011-3/+3
|\ \ | |/
View Lorry Controller Status