- Timestamp:
- Feb 26, 2013, 6:18:59 PM (8 years ago)
- Location:
- extracted
- Files:
-
- 4 added
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
extracted/PROBLEMS
r2733 r2736 28 28 29 29 a) two in compiler.ml (the backend and the compiler itself) 30 - file Fix.ml taken from the untrusted prototype and modified to 31 redefine a few functions from OCaml's List due to module name shadowing 32 - file compute_fixpoints.ml to adapt Fix.ml to the rest 30 33 b) set_adt currently implemented by cut&paste from OCaml's set.ml, but 31 34 using Pervasives.compare: the equality function taken in input is ignored! -
extracted/compiler.ml
r2731 r2736 271 271 272 272 (** val compute_fixpoint : Fixpoints.fixpoint_computer **) 273 let compute_fixpoint _ = 274 failwith "AXIOM TO BE REALIZED" 273 let compute_fixpoint = Compute_fixpoints.compute_fixpoint 275 274 276 275 (** val colour_graph : Interference.coloured_graph_computer **)
Note: See TracChangeset
for help on using the changeset viewer.