summaryrefslogtreecommitdiff
path: root/lambda
Commit message (Expand)AuthorAgeFilesLines
...
| * Make build_other_constrs work with names instead of tags. (#10428)Nicolas Chataing2021-05-281-3/+3
* | Merge commit '1037341d8cbd533209c2898e0743757189ce8f1e' into parallel_minor_g...Tom Kelly2021-10-015-53/+28
|\ \ | |/
| * Remove primitives Pdirapply and PrevapplyVincent Laviron2021-05-255-40/+22
| * Remove the Pidentity primitiveVincent Laviron2021-05-255-14/+7
* | Merge commit 'fe96962fd4287f269dcfc54a58efc19db50a6ad7' into parallel_minor_g...Tom Kelly2021-10-011-2/+10
|\ \ | |/
| * Add %frame_pointers (#10419)David Allsopp2021-05-201-2/+10
* | Merge commit '5e45b2e9fa613099a334f19c95814f89ca16db7f' into parallel_minor_g...Tom Kelly2021-10-011-2/+2
|\ \ | |/
| * Add {Int,Int32,Int64,NativeInt}.{min,max} (#10392)Alain Frisch2021-05-111-2/+2
* | Merge commit '099b86a046e304fe15e2bb37557bffc6aafaab15' into parallel_minor_g...Tom Kelly2021-10-011-8/+1
|\ \ | |/
| * Maintain more structural information in type-checking errorsAntal Spector-Zabusky2021-05-061-8/+1
* | Merge commit '687a2e8d82790e33ce2470829877686dedf84080' into parallel_minor_g...Tom Kelly2021-10-011-24/+36
|\ \ | |/
| * Fix #10338: Translcore.push_defaults does not respect scoping (#10340)Jacques Garrigue2021-04-261-23/+35
* | Merge commit 'b720b583a1d8eeeb295adbf597c6d2ddf994c1cd' into parallel_minor_g...Tom Kelly2021-09-301-1/+5
|\ \ | |/
| * Fix bytecode compilation of Lsend(Cached, _) (#10325)Vincent Laviron2021-04-151-1/+5
* | Merge commit 'b92682336d59f04c1cc6673d8b04495dc3a221bd' into parallel_minor_g...Tom Kelly2021-09-302-76/+95
|\ \ | |/
| * Generate lambda/runtimedef.ml correctly in SwedishDavid Allsopp2021-04-121-0/+3
| * Changes in simplif.ml - removal of try_depth ref (#9827)Anukriti122021-04-071-76/+92
* | Merge commit '6462df79a89cede5c54ed53f1e2ff83309006633' into parallel_minor_g...Tom Kelly2021-09-301-3/+9
|\ \ | |/
| * Preserve evaluation order in simplify_exits (#10284)Vincent Laviron2021-03-101-3/+9
* | 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-296-32/+88
|\ \ | |/
| * Fixed an overlooked transformation to Lmutvar and added cautionnary commentKeryan Didier2021-01-072-3/+5
| * Simplified some computations for mutable variable casesKeryan Didier2021-01-071-6/+8
| * refactorized Llet and Lmutlet printingKeryan Didier2021-01-071-19/+16
| * added new construct Lmutlet and removed Variable attributeKeryan Didier2021-01-076-13/+53
| * added new lambda construct Lmutvar (#9954)Keryan Didier2021-01-076-13/+28
| * Lambda: refactor the transl_*exp* functions to avoid duplicating logicGabriel Scherer2020-12-251-15/+18
| * fix a caching problem in OO code causing a 4.11 performance regressionGabriel Scherer2020-12-231-1/+2
| * Merge pull request #9896 from alainfrisch/afrisch_scoped_locationXavier Leroy2020-12-053-52/+51
| |\
| | * Precompute string_of_scopesAlain Frisch2020-12-012-42/+46
| | * Make Scoped_location.scopes abstractAlain Frisch2020-12-013-13/+8
* | | 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
* | Remove effects, rename to 4.12+domainsTom Kelly2021-09-272-136/+11
* | Added primitives necessary for exposing effect handler functions. Needs boots...KC Sivaramakrishnan2021-09-181-0/+2
* | add polling at mach layerSadiq Jaffer2021-09-064-8/+1
* | Add primitive for fetching dls stateKC Sivaramakrishnan2021-06-104-1/+9
View Lorry Controller Status