Changeset 1102 for Deliverables/D3.3/id-lookup-branch/Cminor/semantics.ma
- Timestamp:
- Aug 4, 2011, 1:55:53 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D3.3/id-lookup-branch/Cminor/semantics.ma
r961 r1102 106 106 ]. 107 107 108 let rec find_label (l:ident ) (s:stmt) (k:cont) on s : option (stmt × cont) ≝108 let rec find_label (l:identifier Label) (s:stmt) (k:cont) on s : option (stmt × cont) ≝ 109 109 match s with 110 110 [ St_seq s1 s2 ⇒ … … 121 121 | St_block s' ⇒ find_label l s' (Kblock k) 122 122 | St_label l' s' ⇒ 123 match ident _eql l' with123 match identifier_eq ? l l' with 124 124 [ inl _ ⇒ Some ? 〈s',k〉 125 125 | inr _ ⇒ find_label l s' k
Note: See TracChangeset
for help on using the changeset viewer.