Changeset 2640 for src/RTL/RTL.ma

Timestamp:

Feb 7, 2013, 3:13:41 PM (8 years ago)

Author:

tranquil

Message:

updated RTL and RTLabs to RTL translation

File:

• src/RTL/RTL.ma (modified) (1 diff)

src/RTL/RTL.ma

@@ -18 +18 @@
     (* call_dest ≝ *) (list register)
     (* ext_seq ≝ *) rtl_seq
+    (* ext_seq_labels ≝ *) (λ_.[])
     (* has_tailcalls ≝ *) has_tailcalls
-    (* paramsT ≝ *) (list register)
-    (* localsT ≝ *) register.
+    (* paramsT ≝ *) (list register).
 
 definition RTL ≝ mk_graph_params (RTL_uns true).