Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge commit '7a0e1d2c7631764ce49081a9f204b55884214e2b' into 5.00_rebase_to_pr | Tom Kelly | 2021-12-21 | 1 | -0/+0 |
|\ | |||||
| * | Bootstrap | Leo White | 2021-11-18 | 1 | -0/+0 |
| | | |||||
* | | Merge commit '17561dc1cf9127e53485721d0f16f73aa436680e' into 5.00_rebase_to_pr | Tom Kelly | 2021-12-20 | 2 | -0/+0 |
|\ \ | |/ | |||||
| * | Shapes: bootstrap | Ulysse Gérard | 2021-11-09 | 2 | -0/+0 |
| | | |||||
* | | Merge commit 'f310f749bdb2979424e9e8caed6ef97afe3ccf9c' into | Tom Kelly | 2021-12-20 | 2 | -0/+0 |
|\ \ | |/ | | | | | 5.00_rebase_to_pr (Update magic numbers for 4.14) | ||||
| * | Update magic numbers for 4.14 | Florian Angeletti | 2021-11-05 | 2 | -0/+0 |
| | | |||||
* | | Merge commit '2250fd8a2218796c07b0a25f184cdc682e4695ba' into 5.00_rebase_to_pr | Tom Kelly | 2021-12-20 | 1 | -0/+0 |
|\ \ | |/ | |||||
| * | abstract row_field (#10627) | Jacques Garrigue | 2021-10-22 | 1 | -0/+0 |
| | | | | | | Co-authored-by: Takafumi Saikawa <tscompor@gmail.com> | ||||
* | | Merge commit '7fb10211f65d0d558d7b0c69e5ea427621f25e09' into 5.00_rebase_to_pr | Tom Kelly | 2021-12-20 | 2 | -0/+0 |
|\ \ | |/ | |||||
| * | make field_kind and commutable abstract types | Takafumi Saikawa | 2021-10-18 | 2 | -0/+0 |
| | | |||||
* | | Merge commit 'c9375900719a7945fbbaf8ee548181322c2b9bb7' into 5.00_rebase_to_pr | Tom Kelly | 2021-12-20 | 2 | -3389/+3477 |
|\ \ | |/ | |||||
| * | Expose Parse.module_type and Parse.module_expr | Guillaume Petiot | 2021-10-12 | 2 | -3389/+3477 |
| | | |||||
* | | Merge commit '98e16f0334d3cb74e50e6c9073398b049438b2f6' into 5.00_rebase_to_pr | Tom Kelly | 2021-12-20 | 2 | -0/+0 |
|\ \ | |/ | |||||
| * | Bootstrap | Leo White | 2021-10-05 | 2 | -0/+0 |
| | | |||||
* | | Remove caml_sys_const_naked_pointers_checked primitive (& bootstrap) | Tom Kelly | 2021-11-29 | 2 | -0/+0 |
| | | |||||
* | | remove caml_sys_const_naked_pointers_checked primitive usage from stdlib ↵ | Tom Kelly | 2021-11-29 | 2 | -0/+0 |
| | | | | | | | | (and bootstrap) | ||||
* | | bootstrap (removal of caml_maybe_print_stats primitive)) | Tom Kelly | 2021-10-20 | 2 | -0/+0 |
| | | |||||
* | | bootstrap (removing caml_maybe_print_stats usage) | Tom Kelly | 2021-10-20 | 2 | -0/+0 |
| | | |||||
* | | bootstrap (for removal of caml_ml_domain_ticks primitives) | Tom Kelly | 2021-10-20 | 2 | -0/+0 |
| | | |||||
* | | bootstrap (for removal of timer_tick) | Tom Kelly | 2021-10-20 | 2 | -0/+0 |
| | | |||||
* | | bootstrap | Tom Kelly | 2021-10-08 | 2 | -0/+0 |
| | | |||||
* | | remove unnecessary diffs with upstream in parsing/ | Tom Kelly | 2021-10-07 | 1 | -735/+735 |
| | | |||||
* | | Merge commit '8da8b7e028431f02bc85c641965133bff68220e0' into 5.00 | Tom Kelly | 2021-10-04 | 2 | -0/+0 |
|\ \ | |/ | |||||
| * | Bootstrap | Leo White | 2021-09-23 | 2 | -0/+0 |
| | | |||||
* | | Merge commit '7ad8c1368346c8a9d492f130442bff48807961b4' into 5.00 | Tom Kelly | 2021-10-04 | 2 | -0/+0 |
|\ \ | |/ | |||||
| * | Force normalization on access to `row_desc` (#10474) | Jacques Garrigue | 2021-09-10 | 1 | -0/+0 |
| | | | | | | | | | | | | * always row_repr * remove the dummy field `row_bound` Co-authored-by: Takafumi Saikawa <tscompor@gmail.com> | ||||
* | | Merge commit 'fa43873b3b38fdf4d38ea069182d28a8b7b4b47e' into 5.00 | Tom Kelly | 2021-10-04 | 2 | -0/+0 |
|\ \ | |/ | |||||
| * | Bootstrap | Stephen Dolan | 2021-09-06 | 2 | -0/+0 |
| | | |||||
* | | Merge commit '80482ed60b9c3459595f3df4e124744a2eb79993' into 5.00 | Tom Kelly | 2021-10-04 | 1 | -971/+959 |
|\ \ | |/ | |||||
| * | parser.mly: location fixes for type constraints and punning (#10555) | Nicolás Ojeda Bär | 2021-08-05 | 1 | -971/+959 |
| | | | | | | | | | | | | | | - do not use ghost locations for type constraints - better locs for type constr in record expr/patterns - give correct location to punned label in record expr - mark punned label as ghost in object clone expr - mark punned labels locs as ghost | ||||
* | | Merge commit 'b3d2cdcbe663e923e5091a81ceebb8d2e40a942c' into 5.00 | Tom Kelly | 2021-10-04 | 2 | -0/+0 |
|\ \ | |/ | |||||
| * | Bootstrap | Leo White | 2021-07-13 | 2 | -0/+0 |
| | | |||||
* | | Merge commit 'cbbb5e025cd6cad3d16aeddb25af2fe932b17e8e' into 5.00 | Tom Kelly | 2021-10-04 | 1 | -3318/+3479 |
|\ \ | |/ | |||||
| * | Allow explicit binders for type variables (#10437) | Stephen Dolan | 2021-06-30 | 1 | -3318/+3479 |
| | | |||||
* | | Merge commit 'ec880ee809c3f4f3c7ce4ee223b3e56fde338f4f' into 5.00 | Tom Kelly | 2021-10-04 | 1 | -2839/+2899 |
|\ \ | |/ | |||||
| * | Pun labelled arguments with type constraint in function applications (#10434) | Greta Yorsh | 2021-06-23 | 1 | -2839/+2899 |
| | | | | | | | | | | | | Accept labelled argument punning with type constraint in pexp_apply For example, function application of the form "foo ~(x:int)" instead of the explicit "foo ~x:(x:int)". | ||||
* | | Merge commit '83eca0dabc7df3c797d0574df014d7ff7cfce840' into 5.00 | Tom Kelly | 2021-10-01 | 1 | -1850/+1850 |
|\ \ | |/ | |||||
| * | Remove unnecessary surrounding parentheses for immediate objects (#10441) | dongyan | 2021-06-05 | 3 | -2831/+2792 |
| | | |||||
* | | Merge commit '621753f3eec9de91495a25723de00cef33a9e35a' into ↵ | Tom Kelly | 2021-10-01 | 2 | -0/+0 |
|\ \ | |/ | | | | | parallel_minor_gc_4_13 | ||||
| * | bump magic numbers for 4.13 (and trunk) | octachron | 2021-06-03 | 2 | -0/+0 |
| | | |||||
* | | Merge commit 'fe96962fd4287f269dcfc54a58efc19db50a6ad7' into ↵ | Tom Kelly | 2021-10-01 | 2 | -0/+0 |
|\ \ | |/ | | | | | parallel_minor_gc_4_13 | ||||
| * | Bootstrap | Stephen Dolan | 2021-05-25 | 2 | -0/+0 |
| | | |||||
* | | Merge commit '5eddf636c5828f37912010265c3cd8a95f33a56f' into ↵ | Tom Kelly | 2021-10-01 | 2 | -0/+0 |
|\ \ | |/ | | | | | parallel_minor_gc_4_13 | ||||
| * | Bootstrap | David Allsopp | 2021-05-19 | 2 | -0/+0 |
| | | |||||
* | | Merge commit 'eed1110e6aece8713605806bee7066ea07e2c0ca' into | Tom Kelly | 2021-09-30 | 2 | -0/+0 |
|\ \ | |/ | | | | | parallel_minor_gc_4_13 and bootstrap | ||||
| * | make update_scope recursive while keeping trace_gadt_instances (#10277) | Jacques Garrigue | 2021-04-19 | 2 | -0/+0 |
| | | |||||
* | | Merge commit '3ef9ce800fea63c90294fe306e552b4b5fafaa1a' into ↵ | Tom Kelly | 2021-09-30 | 1 | -4908/+4906 |
|\ \ | |/ | | | | | parallel_minor_gc_4_13 | ||||
| * | Remove unused labels | Leo White | 2021-03-22 | 1 | -4908/+4906 |
| | | |||||
* | | Merge commit 'aced66c380f00a42e18a3b08e70bea87c419b2a0' into ↵ | Tom Kelly | 2021-09-30 | 1 | -2882/+3160 |
|\ \ | |/ | | | | | parallel_minor_gc_4_13 | ||||
| * | review: rename Pwith_module_type* to Pwith_modtype* | octachron | 2021-02-25 | 1 | -2/+2 |
| | |