Gaëtan Gilbert (Nov 25 2022 at 09:04): Gaëtan Gilbert (Nov 25 2022 at 09:04):if you see a compcert or compcert-embedded-in-vst error like
File "./cfrontend/Ctypes.v", line 1905, characters 10-24:
Error: Cannot infer an instance of type "Type" for the variable F
it is because they are waiting for an overlay merge
Last updated: Apr 19 2024 at 05:01 UTC