about summary refs log tree commit diff stats
path: root/mu.arc.t
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2014-10-18 17:57:24 -0700
committerKartik K. Agaram <vc@akkartik.com>2014-10-24 10:38:38 -0700
commitfb80da830652d2bc5adade3d5a7b30b0f79fcf97 (patch)
treeddf6987f95a938749ba93f95b856adabe477e283 /mu.arc.t
parent88ffbcf617acc35064da5930256fe3b7d80bb015 (diff)
downloadmu-fb80da830652d2bc5adade3d5a7b30b0f79fcf97.tar.gz
153
Diffstat (limited to 'mu.arc.t')
-rw-r--r--mu.arc.t148
1 files changed, 79 insertions, 69 deletions
diff --git a/mu.arc.t b/mu.arc.t
index ea3fcdab..0e57a598 100644
--- a/mu.arc.t
+++ b/mu.arc.t
@@ -998,15 +998,16 @@
 
 (reset)
 (new-trace "convert-braces")
-(if (~iso (convert-braces '(((1 integer) <- copy (4 literal))
-                            ((2 integer) <- copy (2 literal))
-                            ((3 integer) <- add (2 integer) (2 integer))
-                            { begin  ; 'begin' is just a hack because racket turns curlies into parens
-                            ((4 boolean) <- neq (1 integer) (3 integer))
-                            (break-if (4 boolean))
-                            ((5 integer) <- copy (34 literal))
-                            }
-                            (reply)))
+(if (~iso (convert-braces
+            '(((1 integer) <- copy (4 literal))
+              ((2 integer) <- copy (2 literal))
+              ((3 integer) <- add (2 integer) (2 integer))
+              { begin  ; 'begin' is just a hack because racket turns curlies into parens
+              ((4 boolean) <- neq (1 integer) (3 integer))
+              (break-if (4 boolean))
+              ((5 integer) <- copy (34 literal))
+              }
+              (reply)))
           '(((1 integer) <- copy (4 literal))
             ((2 integer) <- copy (2 literal))
             ((3 integer) <- add (2 integer) (2 integer))
@@ -1018,13 +1019,14 @@
 
 (reset)
 (new-trace "convert-braces-empty-block")
-(if (~iso (convert-braces '(((1 integer) <- copy (4 literal))
-                            ((2 integer) <- copy (2 literal))
-                            ((3 integer) <- add (2 integer) (2 integer))
-                            { begin
-                            (break)
-                            }
-                            (reply)))
+(if (~iso (convert-braces
+            '(((1 integer) <- copy (4 literal))
+              ((2 integer) <- copy (2 literal))
+              ((3 integer) <- add (2 integer) (2 integer))
+              { begin
+              (break)
+              }
+              (reply)))
           '(((1 integer) <- copy (4 literal))
             ((2 integer) <- copy (2 literal))
             ((3 integer) <- add (2 integer) (2 integer))
@@ -1034,17 +1036,18 @@
 
 (reset)
 (new-trace "convert-braces-nested-break")
-(if (~iso (convert-braces '(((1 integer) <- copy (4 literal))
-                            ((2 integer) <- copy (2 literal))
-                            ((3 integer) <- add (2 integer) (2 integer))
-                            { begin
-                            ((4 boolean) <- neq (1 integer) (3 integer))
-                            (break-if (4 boolean))
-                            { begin
-                            ((5 integer) <- copy (34 literal))
-                            }
-                            }
-                            (reply)))
+(if (~iso (convert-braces
+            '(((1 integer) <- copy (4 literal))
+              ((2 integer) <- copy (2 literal))
+              ((3 integer) <- add (2 integer) (2 integer))
+              { begin
+                ((4 boolean) <- neq (1 integer) (3 integer))
+                (break-if (4 boolean))
+                { begin
+                  ((5 integer) <- copy (34 literal))
+                }
+              }
+              (reply)))
           '(((1 integer) <- copy (4 literal))
             ((2 integer) <- copy (2 literal))
             ((3 integer) <- add (2 integer) (2 integer))
@@ -1056,17 +1059,18 @@
 
 (reset)
 (new-trace "convert-braces-nested-continue")
-(if (~iso (convert-braces '(((1 integer) <- copy (4 literal))
-                            ((2 integer) <- copy (2 literal))
-                            { begin
-                            ((3 integer) <- add (2 integer) (2 integer))
-                            { begin
-                            ((4 boolean) <- neq (1 integer) (3 integer))
-                            }
-                            (continue-if (4 boolean))
-                            ((5 integer) <- copy (34 literal))
-                            }
-                            (reply)))
+(if (~iso (convert-braces
+            '(((1 integer) <- copy (4 literal))
+              ((2 integer) <- copy (2 literal))
+              { begin
+                ((3 integer) <- add (2 integer) (2 integer))
+                { begin
+                  ((4 boolean) <- neq (1 integer) (3 integer))
+                }
+                (continue-if (4 boolean))
+                ((5 integer) <- copy (34 literal))
+              }
+              (reply)))
           '(((1 integer) <- copy (4 literal))
             ((2 integer) <- copy (2 literal))
             ((3 integer) <- add (2 integer) (2 integer))
@@ -1079,15 +1083,17 @@
 (reset)
 (new-trace "continue")
 ;? (set dump-trace*)
-(add-fns `((main ,@(convert-braces '(((1 integer) <- copy (4 literal))
-                                     ((2 integer) <- copy (1 literal))
-                                     { begin
-                                     ((2 integer) <- add (2 integer) (2 integer))
-                                     ((3 boolean) <- neq (1 integer) (2 integer))
-                                     (continue-if (3 boolean))
-                                     ((4 integer) <- copy (34 literal))
-                                     }
-                                     (reply))))))
+(add-fns
+  '((main
+      ((1 integer) <- copy (4 literal))
+      ((2 integer) <- copy (1 literal))
+      { begin
+        ((2 integer) <- add (2 integer) (2 integer))
+        ((3 boolean) <- neq (1 integer) (2 integer))
+        (continue-if (3 boolean))
+        ((4 integer) <- copy (34 literal))
+      }
+      (reply))))
 ;? (each stmt function*!main
 ;?   (prn stmt))
 (run 'main)
@@ -1101,17 +1107,19 @@
 (reset)
 (new-trace "continue-nested")
 ;? (set dump-trace*)
-(add-fns `((main ,@(convert-braces '(((1 integer) <- copy (4 literal))
-                                     ((2 integer) <- copy (1 literal))
-                                     { begin
-                                     ((2 integer) <- add (2 integer) (2 integer))
-                                     { begin
-                                     ((3 boolean) <- neq (1 integer) (2 integer))
-                                     }
-                                     (continue-if (3 boolean))
-                                     ((4 integer) <- copy (34 literal))
-                                     }
-                                     (reply))))))
+(add-fns
+  '((main
+      ((1 integer) <- copy (4 literal))
+      ((2 integer) <- copy (1 literal))
+      { begin
+        ((2 integer) <- add (2 integer) (2 integer))
+        { begin
+          ((3 boolean) <- neq (1 integer) (2 integer))
+        }
+        (continue-if (3 boolean))
+        ((4 integer) <- copy (34 literal))
+      }
+      (reply))))
 ;? (each stmt function*!main
 ;?   (prn stmt))
 (run 'main)
@@ -1121,17 +1129,19 @@
 
 (reset)
 (new-trace "continue-fail")
-(add-fns `((main ,@(convert-braces '(((1 integer) <- copy (4 literal))
-                                     ((2 integer) <- copy (2 literal))
-                                     { begin
-                                     ((2 integer) <- add (2 integer) (2 integer))
-                                     { begin
-                                     ((3 boolean) <- neq (1 integer) (2 integer))
-                                     }
-                                     (continue-if (3 boolean))
-                                     ((4 integer) <- copy (34 literal))
-                                     }
-                                     (reply))))))
+(add-fns
+  '((main
+      ((1 integer) <- copy (4 literal))
+      ((2 integer) <- copy (2 literal))
+      { begin
+        ((2 integer) <- add (2 integer) (2 integer))
+        { begin
+          ((3 boolean) <- neq (1 integer) (2 integer))
+        }
+        (continue-if (3 boolean))
+        ((4 integer) <- copy (34 literal))
+      }
+      (reply))))
 (run 'main)
 ;? (prn memory*)
 (if (~iso memory* (obj 1 4  2 4  3 nil  4 34))