Fix an interaction between polymorphic type applications (LowStar.Ign…

FStarLang / karamel

KaRaMeL is a tool for extracting low-level F* programs to readable C code

Apache License 2.0

394 stars 58 forks source link

Fix an interaction between polymorphic type applications (LowStar.Ign… #421

Closed msprotz closed 5 months ago

msprotz commented 5 months ago

…ore) and passing structs by ref

msprotz commented 5 months ago

#16 290.2 make[3]: *** [Makefile.verify:66: .cache/FStar.Tactics.Simplifier.fst.checked] Error 1
#16 290.2 make[3]: *** Waiting for unfinished jobs....

puzzling

msprotz commented 5 months ago

build fails in F* -- @pnmadelaine do you have any clue?

pnmadelaine commented 5 months ago

@msprotz the Nix build succeeds on FStar/master, it was also fine yesterday (on 695c472)

I don't know much about the setup to build F* from the Karamel CI, but it looks like the problem is located there!

msprotz commented 5 months ago

Weird. It suddenly started working?!!

pnmadelaine commented 5 months ago

Weird. It suddenly started working?!!

I learned better than to ask questions when something like this happens.