Ignore:
Timestamp:
Feb 22, 2013, 7:11:30 PM (7 years ago)
Author:
tranquil
Message:

fixed linearise and LINToASM
LINToASM has now correct transformation of idents and labels to Identifier

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/joint/TranslateUtils.ma

    r2688 r2708  
    2727    let 〈r,runiverse〉 ≝ fresh … (joint_if_runiverse … def) in
    2828     〈set_runiverse … def runiverse, r〉.
    29 
    30 definition state_update : ∀S.(S → S) → state_monad S unit ≝
    31 λS,f,s.〈f s, it〉.
    3229
    3330(* insert into a graph a list of instructions *)
Note: See TracChangeset for help on using the changeset viewer.