Changeset 1520 for src/LIN


Ignore:
Timestamp:
Nov 21, 2011, 12:23:52 PM (8 years ago)
Author:
campbell
Message:

Generate cost labels with correct type.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/LIN/LINToASM.ma

    r1515 r1520  
    9292      [ extension ext ⇒ ⊥
    9393      | COMMENT comment ⇒ Comment comment
    94       | COST_LABEL lbl ⇒ Cost (toASM_ident ? lbl)
     94      | COST_LABEL lbl ⇒ Cost lbl
    9595      | POP _ ⇒ Instruction (POP ? accumulator_address)
    9696      | PUSH _ ⇒ Instruction (PUSH ? accumulator_address)
Note: See TracChangeset for help on using the changeset viewer.