Changeset 2689 for src/RTLabs


Ignore:
Timestamp:
Feb 21, 2013, 7:23:17 PM (7 years ago)
Author:
tranquil
Message:
  • fixed passes up to linearisation
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTLabs/RTLabsToRTL.ma

    r2674 r2689  
    960960    ❬inl … (bret … [ ]), lbl'❭
    961961  | St_cost cost_lbl lbl' ⇒ λstmt_typed.
    962     ❬inl … (bret … [COST_LABEL … cost_lbl]), lbl'❭
     962    ❬inl … (bret … 〈[ ], λ_.COST_LABEL … cost_lbl, [ ]〉), lbl'❭
    963963  | St_const ty destr cst lbl' ⇒ λstmt_typed.
    964964    ❬inl … (translate_cst ty globals cst (find_local_env destr lenv ?) ?), lbl'❭
Note: See TracChangeset for help on using the changeset viewer.