summaryrefslogtreecommitdiff
path: root/lambda
Commit message (Expand)AuthorAgeFilesLines
* Remove arity-interrupting elaboration of module unpacks (#12117)Nick Roberts2023-04-051-19/+2
* Add Misc.print_see_manual for easier printing of "see manual section X.Y.Z" (...Stefan Muenzel2023-03-221-3/+3
* Stop filtering out predefined identifiers from cu_required_globalsSébastien Hinderer2023-03-171-2/+2
* Do not add predefined identifiers to the set of required globalsSébastien Hinderer2023-03-171-1/+2
* Remove `Lev_module_definition`Nick Roberts2023-03-135-35/+10
* Restrict local function optimisation (#11383)Vincent Laviron2023-03-131-4/+21
* typo fixGabriel Scherer2023-03-051-1/+1
* matching.ml: explain the compilation strategy for switches on constructorsGabriel Scherer2023-03-051-9/+50
* Merge pull request #12004 from ccasin/locally-abstract-attrsGabriel Scherer2023-02-121-1/+13
|\
| * Handle attributes on lambdas with locally abstract typesChris Casinghino2023-02-101-1/+13
* | Add syntax for generative functor application (#11984)Richard Eisenberg2023-02-121-12/+18
|/
* Fix code duplication in pattern matching of polymorphic variants (#11893)Vincent Laviron2023-01-191-2/+20
* Optimise "include struct ... end" in more cases (#11134)Stephen Dolan2023-01-131-8/+19
* Ensure push_defaults can push past module patternsStephen Dolan2022-11-141-0/+2
* Encode extra types within pathHyunggyu Jang2022-11-111-1/+1
* Fixing typos (#11705)Fourchaux2022-11-071-5/+5
* 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
View Lorry Controller Status