Closed singpolyma closed 4 days ago
It's the same with or without submodule update.
This is on debian stable.
ocaml version: 5.2.0
It seems this was fixed by 1ce738c17e6982ecedb2e5b9ba0f0f6fcbecc064 but I'm not sure how the older versions were built...
Thank you for the investigation! Could you try if it works when you move that line below the let m = Abstract.get_underlying_type a pl in
line?
I'd like to extract a reproducible example for this either way, but first we have understand why this goes wrong.
@Simn I think you meant that comment to go on #11820 ?
Oops, indeed!
See #11787