summaryrefslogtreecommitdiff
path: root/lambda
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #11587 from lthls/poly-variant-pointer-comparisonGabriel Scherer2022-10-041-3/+8
|\
| * ReviewVincent Laviron2022-10-021-9/+8
| * Stop using integer comparison on potential pointersVincent Laviron2022-09-301-2/+8
* | Manual chapters on parallelism and memory model (#11280)KC Sivaramakrishnan2022-10-041-1/+1
|/
* lambda/switch.ml: fix typoIkko Ashimine2022-08-241-1/+1
* Improve the location reported by parenthesized assertions (#10852)Fabian2022-07-251-6/+5
* lambda/switch.ml: document some internal typesGabriel Scherer2022-07-211-5/+69
* lambda/switch.ml: documentation commentsGabriel Scherer2022-07-201-18/+26
* [refactoring] lambda/switch.ml: remove unused debug parameterGabriel Scherer2022-07-201-21/+19
* [refactor] lambda/switch.ml: constant namesGabriel Scherer2022-07-201-9/+9
* lambda/switch.ml: document the algorithmGabriel Scherer2022-07-201-11/+66
* minor simplification in lambda/switch.mlGabriel Scherer2022-07-191-15/+9
* add -safer-matching flag to disable type-based optimization of pattern-matchingJacques Garrigue2022-07-191-2/+2
* Fix composition of coercions with aliases (#11188)Vincent Laviron2022-06-271-7/+12
* 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
View Lorry Controller Status