summaryrefslogtreecommitdiff
path: root/lambda/translmod.ml
Commit message (Expand)AuthorAgeFilesLines
* 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-131-24/+8
* Add syntax for generative functor application (#11984)Richard Eisenberg2023-02-121-12/+18
* Optimise "include struct ... end" in more cases (#11134)Stephen Dolan2023-01-131-8/+19
* Manual chapters on parallelism and memory model (#11280)KC Sivaramakrishnan2022-10-041-1/+1
* Fix composition of coercions with aliases (#11188)Vincent Laviron2022-06-271-7/+12
* Make Lambda.lfunction privateStephen Dolan2022-02-121-19/+17
* Merge commit 'edf0075888ec27a50c4f50f76dba46f730797651' into 5.00_rebase_to_prTom Kelly2021-12-201-0/+1
|\
| * Add [@poll error] attribute (#10462)Sadiq Jaffer2021-11-091-0/+1
* | Merge commit '2bcef4bc172f476217f253d24cb3311eaca504bf' into 5.00_rebase_to_prTom Kelly2021-12-201-0/+1
|\ \ | |/
| * prepare for TMC (tail modulo cons) transformationFrédéric Bour2021-11-021-0/+1
* | Whitespace and line lengthsDavid Allsopp2021-12-191-5/+10
* | 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
| * Precompute string_of_scopesAlain Frisch2020-12-011-2/+7
| * Make Scoped_location.scopes abstractAlain Frisch2020-12-011-4/+4
* | Remove effects, rename to 4.12+domainsTom Kelly2021-09-271-31/+0
* | Merge commit '846fb7348e51b7a7941dfb56c79a3eb024875d0d' into parallel_minor_g...Tom Kelly2021-03-101-4/+9
|\ \
| * | Merge pull request #9896 from alainfrisch/afrisch_scoped_locationXavier Leroy2020-12-051-4/+9
| |/
* | Merge commit '58adc59581cdd70ef4861ced8a9a0f448230b0f2' into parallel_minor_g...Tom Kelly2021-03-051-3/+16
|\ \ | |/
| * Fix PR#7538Leo White2020-09-181-3/+16
* | Merge commit 'b7509ca82f9bd647c1cb7e810b6bb152e145e3fb' into parallel_minor_g...Tom Kelly2021-03-031-44/+57
|\ \ | |/
| * [refactoring] gives tailcall attributes a more standard structureGabriel Scherer2020-06-081-44/+57
* | Merge commit '0ca651b95cbda5d58f7760f0fa1dba965d1f0828' into parallel_minor_g...Tom Kelly2021-03-021-5/+5
|\ \ | |/
| * Remove Const_pointer from Lambda and Clambda (#9585)Stephen Dolan2020-06-021-5/+5
* | Merge commit '8f85e002b2e1f3f4ccf8fefa5ad9a137109168d1' into parallel_minor_g...Tom Kelly2021-03-011-185/+242
|\ \ | |/
| * Replace Location.t with Lambda.scoped_location in Lambda codeStephen Dolan2020-04-271-178/+231
* | Merge commit '080ac7421c569392f84fadefbdf977c4aa98a92a' into parallel_minor_g...Tom Kelly2021-03-011-2/+4
|\ \ | |/
| * Add forgotten substitution when compiling anonymous modules (#9477)Thomas Refis2020-04-231-2/+4
| * manual: make labels mandatoryFlorian Angeletti2019-12-051-1/+1
* | Merge commit '05f15cf215d2643aaea0e300d6c9e4e5fd3ef65b' into parallel_minor_g...Tom Kelly2021-02-261-3/+5
|\ \ | |/
| * Annotated Asttypes.constant's string with content location.Drup2019-11-131-3/+5
* | Merge commit '920ddaf87f28ede1c1f5d2fa86e287de2ef2a5ce' into parallel_minor_g...Tom Kelly2020-04-301-1/+1
|\ \
| * | Merge pull request #9101 from Octachron/manual_anchorFlorian Angeletti2019-12-061-1/+1
| |/
* | Merge commit '8e928caea7c47e6ba8508cf2caaaa1ba9f8dca85' into parallel_minor_g...Tom Kelly2020-04-291-73/+141
|\ \ | |/
| * a better representation for modules with no name (#8908)Thomas Refis2019-10-091-73/+141
* | Merge commit 'c71997a167c3670d202c6ecaf830c6a25b4b95b8' into parallel_minor_g...Tom Kelly2020-04-291-2/+3
|\ \ | |/
| * [minor] clarify the implementation of Typedtree.pat_bound_idents_fullGabriel Scherer2019-09-251-2/+3
* | Merge commit 'e6096b8f6c3211a83f7855bda3d820c2408257dd' into parallel_minor_g...Tom Kelly2020-04-281-1/+2
|\ \ | |/
| * Fix "open struct .. end" on clambda backend (#8944)Thomas Refis2019-09-171-1/+2
* | Merge commit 'a45189331b75c4be012627b3b85ffe964884c887' into parallel_minor_g...Tom Kelly2020-04-271-2/+3
|\ \ | |/
| * Fix #8769 (#8770)Leo White2019-06-281-1/+4
* | Merge commit '8afe2db3c6bdf06d2596ddba95cb889991196fc5' into parallel_minor_g...Tom Kelly2020-04-211-13/+43
|/
* Move some middle-end files around (#2281)Mark Shinwell2019-04-011-0/+1556
View Lorry Controller Status