anil.recoil.org / unpac-unpac
The unpac monorepo manager self-hosting as a monorepo using unpac
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Changes: synchronisation and consistency for 5.2.0

Florian Angeletti 57255a07 5ce3ddcb

+38 -36
+38 -36
Changes
··· 19 19 (Leo White, Tom Kelly, Anil Madhavapeddy, KC Sivaramakrishnan, Xavier Leroy 20 20 and Florian Angeletti, review by the same, Hugo Heuzard, and Ulysse Gérard) 21 21 22 + ### Type system 23 + 24 + - #11891, #12507: Allow to name new locally abstract types in constructor type 25 + annotations. 26 + (Jacques Garrigue, report and review by Gabriel Scherer and Florian Angeletti) 27 + 22 28 ### Runtime system: 23 29 24 30 - #11911, #12923: Multicore statistical memory profiling. ··· 40 46 - #11779, #13117: Improve logic for fiber stack alignment. 41 47 (Miod Vallat, report by Damien Doligez, review by Gabriel Scherer) 42 48 49 + - #12839: Remove ATOMIC_UINTNAT_INIT from camlatomic.h (as part of a larger 50 + cleanup of camlatomic.h) 51 + (David Allsopp, review by Antonin Décimo, Sébastien Hinderer, Samuel Hym, 52 + Guillaume Munch-Maccagnoni and Miod Vallat) 53 + 43 54 ### Code generation and optimizations: 44 55 45 56 - #13014: Enable compile-time option -function-sections on all previously ··· 51 62 Note that #7241 is not fully fixed yet, see the issue for the 52 63 current status. 53 64 (Gabriel Scherer, review by Nick Roberts) 54 - 55 - - #13079: Save and restore frame pointer across Iextcall on ARM64 56 - (Tim McGilchrist, review by KC Sivaramakrishnan and Miod Vallat) 57 65 58 66 ### Standard library: 59 67 ··· 76 84 ### Other libraries: 77 85 78 86 ### Tools: 87 + 88 + - #11716: ocamllex: mismatched parentheses and curly brackets are now caught 89 + by ocamllex, instead of causing invalid OCaml code to be generated. 90 + (Demi Marie Obenour) 79 91 80 92 - #12904: Run the testsuite with ThreadSanitizer on a PR when label 81 93 `run-thread-sanitizer` is added ··· 116 128 - #13045: Emphasize caution about behaviour of custom block finalizers. 117 129 (Nick Barnes) 118 130 119 - - #13078: update Format tutorial on structural boxes to mention alignment 120 - questions. 121 - (Edwin Török, review by Florian Angeletti) 122 - 123 131 ### Compiler user-interface and warnings: 124 132 125 133 * #12084: Check link order when creating archive and when using ocamlopt ··· 195 203 196 204 ### Bug fixes: 197 205 206 + - #12854: Add a test in the regression suite that flags the bug #12825. 207 + (Luc Maranget) 208 + 198 209 - #12888: fix printing of uncaught exceptions in `.cmo` files passed on the 199 210 command-line of the toplevel. 200 211 (Nicolás Ojeda Bär, review by Florian Angeletti, report by Daniel Bünzli) ··· 202 213 - #12910, #12920: Fix an unsound interaction between first-class modules 203 214 and polymorphic records by saving and restoring univar_pairs. 204 215 (Stephen Dolan, review by Gabriel Scherer, report by Jeremy Yallop) 205 - 206 - - #12924, #12930: Rework package constraint checking to improve interaction with 207 - immediacy 208 - (Chris Casinghino and Florian Angeletti, review by Florian Angeletti and 209 - Richard Eisenberg) 210 216 211 217 - #12994: Remove un-used and unsafe caml_drop_continuation 212 218 (Tim McGilchrist, reviewed by Gabriel Scherer and Miod Vallat) ··· 216 222 Implementation missing since OCaml 5.0. 217 223 (Tim McGilchrist, reviewed by David Allsopp and Miod Vallat) 218 224 219 - - #13019: Remove linking instructions for the Unix library from threads.cma 220 - (this was done for threads.cmxa in OCaml 3.11). Eliminates warnings from 221 - new lld when using threads.cma of duplicated libraries. 222 - (David Allsopp, review by Nicolás Ojeda Bär) 223 - 224 225 - #13012: parsing: Fix dropped attributes after a '-' or '+' 225 226 The syntax '-(1 [@foo])' was incorrectly parsed as '-1'. 226 227 (Jules Aguillon, reviewed by Gabriel Scherer, report by Gabriel Scherer) ··· 234 235 output under Windows. 235 236 (B. Szilvasy, review by Nicolás Ojeda Bär and Miod Vallat) 236 237 237 - - #13094: Fix undefined behavior of left-shifting a negative number. 238 - (Antonin Décimo, review by Miod Vallat and Nicolás Ojeda Bär) 239 - 240 238 - #13088: A few type-checker behaviors look at a type to see if there are 241 239 any labeled arguments in it. This sometimes required expansion, which 242 240 could, in obscure scenarios, result in superfluous type errors. ··· 317 315 - #12313, #11799: Do not re-build as-pattern type when a ground type annotation 318 316 is given. This allows to work around problems with GADTs in as-patterns. 319 317 (Jacques Garrigue, report by Leo White, review by Gabriel Scherer) 320 - 321 - - #11891, #12507: Allow to name new locally abstract types in constructor type 322 - annotations. 323 - (Jacques Garrigue, report and review by Gabriel Scherer and Florian Angeletti) 324 318 325 319 ### Runtime system: 326 320 ··· 503 497 (Guillaume Munch-Maccagnoni, reported by Miod Vallat, suggested by 504 498 Hari Hara Naveen S, reviewed by Fabrice Buoro, Gabriel Scherer and 505 499 Miod Vallat) 506 - 507 - - #12839: Remove ATOMIC_UINTNAT_INIT from camlatomic.h (as part of a larger 508 - cleanup of camlatomic.h) 509 - (David Allsopp, review by Antonin Décimo, Sébastien Hinderer, Samuel Hym, 510 - Guillaume Munch-Maccagnoni and Miod Vallat) 511 500 512 501 - #12876: Port ThreadSanitizer support to Linux on POWER 513 502 (Miod Vallat, review by Tim McGilchrist) ··· 548 537 (Gabriel Scherer, review by KC Sivaramakrishnan, Xavier Leroy 549 538 and Vincent Laviron, report by Vesa Karvonen) 550 539 551 - - #12854: Add a test in the regression suite that flags the bug #12825. 552 - (Luc Maranget) 553 - 554 540 ### Standard library: 555 541 556 542 - #12716: Add `Format.pp_print_nothing` function. ··· 736 722 - #13066, update OCAMLRUNPARAM documentation for the stack size parameter l 737 723 (Florian Angeletti, review by Nicolás Ojeda Bär, Tim McGilchrist, and 738 724 Miod Vallat) 725 + 726 + - #13078: update Format tutorial on structural boxes to mention alignment 727 + questions. 728 + (Edwin Török, review by Florian Angeletti) 739 729 740 730 - #13092: document the existence of the `[@@poll error]` built-in attribute 741 731 (Florian Angeletti, review by Gabriel Scherer) ··· 1121 1111 - #12919: Fix register corruption in caml_callback2_asm on s390x. 1122 1112 (Miod Vallat, review by Gabriel Scherer) 1123 1113 1114 + - #12924, #12930: Rework package constraint checking to improve interaction with 1115 + immediacy 1116 + (Chris Casinghino and Florian Angeletti, review by Florian Angeletti and 1117 + Richard Eisenberg) 1118 + 1124 1119 - #12969: Fix a data race in caml_darken_cont 1125 1120 (Fabrice Buoro and Olivier Nicole, review by Gabriel Scherer and Miod Vallat) 1126 1121 ··· 1128 1123 invalid programs forming recursive types. 1129 1124 (Gabriel Scherer, review by Florian Angeletti, report by Neven Villani) 1130 1125 1126 + - #13019: Remove linking instructions for the Unix library from threads.cma 1127 + (this was done for threads.cmxa in OCaml 3.11). Eliminates warnings from 1128 + new lld when using threads.cma of duplicated libraries. 1129 + (David Allsopp, review by Nicolás Ojeda Bär) 1130 + 1131 1131 - #13058: Add TSan instrumentation to caml_call_gc(), since it may raise 1132 1132 exceptions. 1133 1133 (Fabrice Buoro, Olivier Nicole, Gabriel Scherer and Miod Vallat) 1134 + 1135 + - #13079: Save and restore frame pointer across Iextcall on ARM64 1136 + (Tim McGilchrist, review by KC Sivaramakrishnan and Miod Vallat) 1137 + 1138 + - #13094: Fix undefined behavior of left-shifting a negative number. 1139 + (Antonin Décimo, review by Miod Vallat and Nicolás Ojeda Bär) 1134 1140 1135 1141 OCaml 5.1.1 (8 December 2023) 1136 1142 ---------------------------- ··· 1596 1602 - #11889, #11978: ocamldoc: handle injectivity annotations and wildcards in type 1597 1603 parameters. 1598 1604 (Florian Angeletti, report by Wiktor Kuchta, review by Jules Aguillon) 1599 - 1600 - - #11716: ocamllex: mismatched parentheses and curly brackets are now caught 1601 - by ocamllex, instead of causing invalid OCaml code to be generated. 1602 - (Demi Marie Obenour) 1603 1605 1604 1606 - #11787: Fix GDB scripts to work with OCaml 5's heap layout. (Nick 1605 1607 Barnes)