summaryrefslogtreecommitdiff
path: root/lambda
Commit message (Expand)AuthorAgeFilesLines
* Remove uses of ;; from the codebaseSébastien Hinderer2022-02-255-7/+3
* Ensure that build_apply respects Lambda.max_arityStephen Dolan2022-02-121-1/+2
* Make Lambda.lfunction privateStephen Dolan2022-02-129-118/+135
* Merge pull request #11000 from gasche/translattribute-fixSadiq Jaffer2022-02-101-0/+1
* Remove configuration options --disable-force-safe-string and DEFAULT_STRING=u...Kate2022-02-012-3/+3
* 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 'b4c5d7a55d9ec25693ba741a613d81f2c3ef66bc' into 5.00_rebase_to_prTom Kelly2021-12-211-8/+1
|\
| * Revert "Restore optim for objects directly under a top-level module"Alain Frisch2021-11-151-7/+0
| * Restore optim for objects directly under a top-level moduleAlain Frisch2021-11-101-0/+7
| * Fix #10763 (miscompilation of method delegation)Alain Frisch2021-11-101-8/+1
* | Merge commit 'edf0075888ec27a50c4f50f76dba46f730797651' into 5.00_rebase_to_prTom Kelly2021-12-205-3/+84
|\ \ | |/
| * Add [@poll error] attribute (#10462)Sadiq Jaffer2021-11-095-3/+84
* | Merge commit '2bcef4bc172f476217f253d24cb3311eaca504bf' into 5.00_rebase_to_prTom Kelly2021-12-208-25/+1171
|\ \ | |/
| * bow to check-typoGabriel Scherer2021-11-022-29/+42
| * [minor] complete the renaming of 'TRMC' into 'TMC'Gabriel Scherer2021-11-021-1/+1
| * [review] move the main TMC comment to tmc.mliGabriel Scherer2021-11-022-56/+55
| * [review] improve code readability within TMC disambiguationGabriel Scherer2021-11-021-4/+4
| * TMC: much thinking about which @tailcall annotations to preserve whereGabriel Scherer2021-11-021-16/+32
| * [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
View Lorry Controller Status