Post #1771327
2026-04-28 14:47 UTC
J'ai un truc qui compile avec Rocq 9.1 mais pas avec Rocq 8.16.1 en raison de problèmes de l'OCaml extrait. Quelle est cette nouvelle diablerie ? Je reconsidère mes choix de vie.
Rien ne fonctionne. Tout est chaos.
Replies (4)
-
@MonniauxD@social.sciences.re 2026-04-28 14:56
JésusMarieJoseph le comportement de l'extraction a changé sur les types singletons.
-
@yforster@types.pl 2026-04-28 15:06
@MonniauxD 8.16.1 is 4 years old, no? Isn't it a good thing that the system evolved and now more things compile?
-
@Leguman@mastodon.top 2026-04-28 16:36
@MonniauxD j'ai le même problème avec le FAP de ma 207 (de 2009).
-
@ska@social.treehouse.systems 2026-04-28 21:44
@MonniauxD