summaryrefslogtreecommitdiff
path: root/boot
Commit message (Expand)AuthorAgeFilesLines
* Merge commit '7a0e1d2c7631764ce49081a9f204b55884214e2b' into 5.00_rebase_to_prTom Kelly2021-12-211-0/+0
|\
| * BootstrapLeo White2021-11-181-0/+0
* | Merge commit '17561dc1cf9127e53485721d0f16f73aa436680e' into 5.00_rebase_to_prTom Kelly2021-12-202-0/+0
|\ \ | |/
| * Shapes: bootstrapUlysse Gérard2021-11-092-0/+0
* | Merge commit 'f310f749bdb2979424e9e8caed6ef97afe3ccf9c' intoTom Kelly2021-12-202-0/+0
|\ \ | |/
| * Update magic numbers for 4.14Florian Angeletti2021-11-052-0/+0
* | Merge commit '2250fd8a2218796c07b0a25f184cdc682e4695ba' into 5.00_rebase_to_prTom Kelly2021-12-201-0/+0
|\ \ | |/
| * abstract row_field (#10627)Jacques Garrigue2021-10-221-0/+0
* | Merge commit '7fb10211f65d0d558d7b0c69e5ea427621f25e09' into 5.00_rebase_to_prTom Kelly2021-12-202-0/+0
|\ \ | |/
| * make field_kind and commutable abstract typesTakafumi Saikawa2021-10-182-0/+0
* | Merge commit 'c9375900719a7945fbbaf8ee548181322c2b9bb7' into 5.00_rebase_to_prTom Kelly2021-12-202-3389/+3477
|\ \ | |/
| * Expose Parse.module_type and Parse.module_exprGuillaume Petiot2021-10-122-3389/+3477
* | Merge commit '98e16f0334d3cb74e50e6c9073398b049438b2f6' into 5.00_rebase_to_prTom Kelly2021-12-202-0/+0
|\ \ | |/
| * BootstrapLeo White2021-10-052-0/+0
* | Remove caml_sys_const_naked_pointers_checked primitive (& bootstrap)Tom Kelly2021-11-292-0/+0
* | remove caml_sys_const_naked_pointers_checked primitive usage from stdlib (and...Tom Kelly2021-11-292-0/+0
* | bootstrap (removal of caml_maybe_print_stats primitive))Tom Kelly2021-10-202-0/+0
* | bootstrap (removing caml_maybe_print_stats usage)Tom Kelly2021-10-202-0/+0
* | bootstrap (for removal of caml_ml_domain_ticks primitives)Tom Kelly2021-10-202-0/+0
* | bootstrap (for removal of timer_tick)Tom Kelly2021-10-202-0/+0
* | bootstrapTom Kelly2021-10-082-0/+0
* | remove unnecessary diffs with upstream in parsing/Tom Kelly2021-10-071-735/+735
* | Merge commit '8da8b7e028431f02bc85c641965133bff68220e0' into 5.00Tom Kelly2021-10-042-0/+0
|\ \ | |/
| * BootstrapLeo White2021-09-232-0/+0
* | Merge commit '7ad8c1368346c8a9d492f130442bff48807961b4' into 5.00Tom Kelly2021-10-042-0/+0
|\ \ | |/
| * Force normalization on access to `row_desc` (#10474)Jacques Garrigue2021-09-101-0/+0
* | Merge commit 'fa43873b3b38fdf4d38ea069182d28a8b7b4b47e' into 5.00Tom Kelly2021-10-042-0/+0
|\ \ | |/
| * BootstrapStephen Dolan2021-09-062-0/+0
* | Merge commit '80482ed60b9c3459595f3df4e124744a2eb79993' into 5.00Tom Kelly2021-10-041-971/+959
|\ \ | |/
| * parser.mly: location fixes for type constraints and punning (#10555)Nicolás Ojeda Bär2021-08-051-971/+959
* | Merge commit 'b3d2cdcbe663e923e5091a81ceebb8d2e40a942c' into 5.00Tom Kelly2021-10-042-0/+0
|\ \ | |/
| * BootstrapLeo White2021-07-132-0/+0
* | Merge commit 'cbbb5e025cd6cad3d16aeddb25af2fe932b17e8e' into 5.00Tom Kelly2021-10-041-3318/+3479
|\ \ | |/
| * Allow explicit binders for type variables (#10437)Stephen Dolan2021-06-301-3318/+3479
* | Merge commit 'ec880ee809c3f4f3c7ce4ee223b3e56fde338f4f' into 5.00Tom Kelly2021-10-041-2839/+2899
|\ \ | |/
| * Pun labelled arguments with type constraint in function applications (#10434)Greta Yorsh2021-06-231-2839/+2899
* | Merge commit '83eca0dabc7df3c797d0574df014d7ff7cfce840' into 5.00Tom Kelly2021-10-011-1850/+1850
|\ \ | |/
| * Remove unnecessary surrounding parentheses for immediate objects (#10441)dongyan2021-06-053-2831/+2792
* | Merge commit '621753f3eec9de91495a25723de00cef33a9e35a' into parallel_minor_g...Tom Kelly2021-10-012-0/+0
|\ \ | |/
| * bump magic numbers for 4.13 (and trunk)octachron2021-06-032-0/+0
* | Merge commit 'fe96962fd4287f269dcfc54a58efc19db50a6ad7' into parallel_minor_g...Tom Kelly2021-10-012-0/+0
|\ \ | |/
| * BootstrapStephen Dolan2021-05-252-0/+0
* | Merge commit '5eddf636c5828f37912010265c3cd8a95f33a56f' into parallel_minor_g...Tom Kelly2021-10-012-0/+0
|\ \ | |/
| * BootstrapDavid Allsopp2021-05-192-0/+0
* | Merge commit 'eed1110e6aece8713605806bee7066ea07e2c0ca' intoTom Kelly2021-09-302-0/+0
|\ \ | |/
| * make update_scope recursive while keeping trace_gadt_instances (#10277)Jacques Garrigue2021-04-192-0/+0
* | Merge commit '3ef9ce800fea63c90294fe306e552b4b5fafaa1a' into parallel_minor_g...Tom Kelly2021-09-301-4908/+4906
|\ \ | |/
| * Remove unused labelsLeo White2021-03-221-4908/+4906
* | Merge commit 'aced66c380f00a42e18a3b08e70bea87c419b2a0' into parallel_minor_g...Tom Kelly2021-09-301-2882/+3160
|\ \ | |/
| * review: rename Pwith_module_type* to Pwith_modtype*octachron2021-02-251-2/+2