Changeset 2504 for src/ASM/ASMCosts.ma


Ignore:
Timestamp:
Nov 29, 2012, 3:33:59 PM (7 years ago)
Author:
mckinna
Message:

More refactoring to support the tidied up compiler.ma

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/ASMCosts.ma

    r2498 r2504  
    1919      (λpc.lookup_opt ?? pc cost_labels)
    2020      (next_instruction_properly_relates_program_counters code_memory)
    21       ?
     21      ? (* (λs.False) *)
    2222      ?.
    2323  cases daemon (* XXX: is final predicate, call ident function *)
Note: See TracChangeset for help on using the changeset viewer.