24 messages were moved here from #Coq Platform devs & users > 2022.09+beta1 release by Karl Palmskog.
FWIW, a :+1: from me on "ARM Macs need more stack", even if it's usually fine; there were some documented improvements between 4.10.2 and 4.14, and it was worse early on.
@Paolo Giarrusso : are you aware of improvements between 4.13.1 and 4.14.x?
Tail-call with up to 64 arguments are now guaranteed to be optimized for all architectures.
(all I've seen was listed for https://ocaml.org/releases/4.14.0)
they also list https://github.com/ocaml/ocaml/pull/10549 but that one was also cherry-picked back to 4.13
Thanks! I consider switching to 4.14. Are there known issues around Coq?
@Paolo Giarrusso : since fiat-crypto compiles fine with 64 MB on arm, I refrained from making such a rather large change that late. But I will do it first thing after the release.
Last updated: Jan 30 2023 at 11:03 UTC