source: extracted/PROBLEMS @ 2746

Last change on this file since 2746 was 2743, checked in by sacerdot, 7 years ago

Latest version of the compiler, extracted with the latest version of Matita.
Some files still need some manual patching to avoid an extraction bug
(see PROBLEMS file).

File size: 410 bytes
Line 
1================
2EXTRACTION BUGS:
3================
4
51. In some situations the types implemented with = __ in the .mli
6   are less general than those in the .ml
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
16b) set_adt needs to be removed to favour the untrusted implementation
Note: See TracBrowser for help on using the repository browser.