[CakeML-Dev] Fixing scripts in boostrap/io
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.
More information about the Developers