| Line | |
|---|
| 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 |
|---|
Note: See
TracBrowser
for help on using the repository browser.
