[CakeML-Dev] Fixing scripts in boostrap/io

Armaël Guéneau armael.gueneau at ens-lyon.fr
Thu Oct 6 12:26:21 UTC 2016


I pushed some more easy fixes for the scripts in boostrap/io.
Proofs of cf specifications should now work, but there is still work to do.

In particular, in helloProgScript, raw_evaluate_prog fails, I suspect 
app_basic changed and now includes the possibility that an exception is 

I tried to look if I could fix the script but I didn't manage, and only 
have a high-level
idea of what's happening there.

— Armaël

More information about the Developers mailing list