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: Jun 05 2023 at 09:01 UTC