extracted/PROBLEMS

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