Changeset 2836 for extracted


Ignore:
Timestamp:
Mar 8, 2013, 11:55:53 PM (7 years ago)
Author:
sacerdot
Message:

...

Location:
extracted
Files:
2 deleted
1 edited

Legend:

Unmodified
Added
Removed

  • extracted/PROBLEMS

    r2773 r2836  
     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
    18=========================
    29AXIOMS TO BE IMPLEMENTED:
Note: See TracChangeset for help on using the changeset viewer.