Changeset 2602


Ignore:
Timestamp:
Feb 5, 2013, 1:54:22 PM (6 years ago)
Author:
piccolo
Message:

Dead code commented out.

Location:
extracted
Files:
3 edited

Legend:

Unmodified
Added
Removed
  • extracted/PROBLEMS

    r2601 r2602  
    3030   FIXED BY HAND ATM
    3131b) two in compiler.ml (the backend and the compiler itself)
    32 c) registers.ml: register_ord
  • extracted/registers.ml

    r2601 r2602  
    6868
    6969type 'a register_env = 'a Identifiers.identifier_map
    70 
    71 (** val register_ord : register -> register -> Order.order **)
    72 let register_ord =
    73   failwith "AXIOM TO BE REALIZED"
    74 
  • extracted/registers.mli

    r2601 r2602  
    6464
    6565type 'a register_env = 'a Identifiers.identifier_map
    66 
    67 val register_ord : register -> register -> Order.order
    68 
Note: See TracChangeset for help on using the changeset viewer.