Stream: Coq devs & plugin devs

Topic: compcert / vst waiting for overlay


view this post on Zulip 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: May 24 2024 at 22:02 UTC