1 =========================
3 =========================
5 New bug: some function has type "__ foo" in the .ml and "'a foo" in the .mli.
6 The latter is incorrect.
8 =========================
9 AXIOMS TO BE IMPLEMENTED:
10 =========================
12 In order to plug the untrusted code, the following files needs manual
15 a) compiler.ml: the two failwith must be replaced with calls to the
17 b) the build script removed set_adt to favour the untrusted implementation