Ignore:
Timestamp:
Aug 4, 2011, 1:55:53 PM (9 years ago)
Author:
campbell
Message:

Tidy up branch

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D3.3/id-lookup-branch/Cminor/semantics.ma

    r961 r1102  
    106106].
    107107
    108 let rec find_label (l:ident) (s:stmt) (k:cont) on s : option (stmt × cont) ≝
     108let rec find_label (l:identifier Label) (s:stmt) (k:cont) on s : option (stmt × cont) ≝
    109109match s with
    110110[ St_seq s1 s2 ⇒
     
    121121| St_block s' ⇒ find_label l s' (Kblock k)
    122122| St_label l' s' ⇒
    123     match ident_eq l l' with
     123    match identifier_eq ? l l' with
    124124    [ inl _ ⇒ Some ? 〈s',k〉
    125125    | inr _ ⇒ find_label l s' k
Note: See TracChangeset for help on using the changeset viewer.