source: driver/extracted/PROBLEMS @ 3106

Last change on this file since 3106 was 2836, checked in by sacerdot, 7 years ago

...

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