Post #1773376
2026-04-28 15:06 UTC
@MonniauxD 8.16.1 is 4 years old, no? Isn't it a good thing that the system evolved and now more things compile?
Replies (2)
-
@MonniauxD@social.sciences.re 2026-04-28 15:07
@yforster the extraction apparently optimizes stuff differently, thus handwritten OCaml code does not link to the extracted code
-
@yforster@types.pl 2026-04-28 15:10
@MonniauxD maybe just different default flags for extraction and you can recreate the old behaviour by changing the flags? Extraction Optimize or something like that