- Timestamp:
- Mar 8, 2013, 11:55:53 PM (8 years ago)
- Location:
- extracted
- Files:
-
- 2 deleted
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
extracted/PROBLEMS
r2773 r2836 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 1 8 ========================= 2 9 AXIOMS TO BE IMPLEMENTED:
Note: See TracChangeset
for help on using the changeset viewer.