Changeset 1123 for src/RTLabs/semantics.ma
- Timestamp:
- Aug 29, 2011, 2:34:23 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/RTLabs/semantics.ma
r961 r1123 168 168 [ Internal fn ⇒ 169 169 ! locals ← params_store (f_params fn) params (init_locals (f_locals fn)); 170 (* CSC: XXX alignment call (concrete_stacksize in OCaml) is missing 171 here *) 170 172 let 〈m', sp〉 ≝ alloc m 0 (f_stacksize fn) Any in 171 173 ret ? 〈E0, State (mk_frame fn locals (f_entry fn) sp dst) fs m'〉
Note: See TracChangeset
for help on using the changeset viewer.