Changeset 765 for src/RTLabs/test

Timestamp:

Apr 20, 2011, 5:39:00 PM (10 years ago)

Author:

campbell

Message:

Remove superfluous register in RTLabs return statements.

Also fix up RTLabs prototype pretty printer's handling of global variables.

Location:

src/RTLabs/test

Files:

• search.ma (modified) (2 diffs)
• sum.ma (added)

src/RTLabs/test/search.ma

@@ -132 +132 @@
     (pair ?? search10 (make_St_cond2 (Ocmp Clt) 12 13 search9 search5));
     (pair ?? search1 (make_St_op1 Onegint 8 9 search0));
-    (pair ?? search0 (make_St_return 8))
+    (pair ?? search0 (make_St_return))
 ]
 
@@ -233 +233 @@
     (pair ?? main10 (make_St_const 11 (Ointconst (repr 1)) main9));
     (pair ?? main1 (make_St_op1 Ocast8unsigned 2 1 main0));
-    (pair ?? main0 (make_St_return 2))
+    (pair ?? main0 make_St_return)
 ]