Changeset 2733 for extracted/PROBLEMS


Ignore:
Timestamp:
Feb 25, 2013, 11:04:57 PM (8 years ago)
Author:
sacerdot
Message:

All axioms in set_adt implemented by hand.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/PROBLEMS

    r2730 r2733  
    2828
    2929a) two in compiler.ml (the backend and the compiler itself)
     30b) set_adt currently implemented by cut&paste from OCaml's set.ml, but
     31   using Pervasives.compare: the equality function taken in input is ignored!
Note: See TracChangeset for help on using the changeset viewer.