blah

Author: jsiek

runtime.c

@@ -459,6 +459,7 @@ int any_tag(int64_t any) {
   return any & ANY_TAG_MASK;
 }
 
+/* to do: need to cycle detection. -Jeremy */
 void print_any(int64_t any) {
   switch (any_tag(any)) {
   case ANY_TAG_INT:

tests/s6_9.rkt

@@ -1,27 +1,15 @@
-(define (hello29999) : Any (inject 24 Integer))
-(define (world30000) : Any (inject 24 Integer))
+(define (hello) : Any (inject 24 Integer))
+(define (world) : Any (inject 24 Integer))
 
-(let ((x30001
-         (inject
-          (vector (inject 0 Integer) (inject 0 Integer))
-          (Vector Any Any))))
-    (let ((y30002
-           (inject
-            (vector-set!
-             (project x30001 (Vector Any Any))
-             0
-             (
-              (project (inject hello29999 (-> Any)) (-> Any))))
-            Void)))
-      (let ((z30003
-             (inject
-              (vector-set!
-               (project x30001 (Vector Any Any))
-               1
-               (
-                (project
-                 (inject world30000 (-> Any))
-                 (-> Any))))
-              Void)))
-        (let ((a (project x30001 (Vector Any Any))))
-          (+ (- 6) (+ (project (vector-ref a 0) Integer) (project (vector-ref a 1) Integer)))))))
+(let ([x (inject (vector (inject 0 Integer) (inject 0 Integer))
+                 (Vector Any Any))])
+  (let ([y (inject (vector-set! (project x (Vector Any Any)) 0
+				((project (inject hello (-> Any)) (-> Any))))
+		   Void)])
+    (let ([z (inject (vector-set! (project x (Vector Any Any)) 1
+				  ((project (inject world (-> Any))
+					    (-> Any))))
+		     Void)])
+      (let ([a (project x (Vector Any Any))])
+	(+ (- 6) (+ (project (vector-ref a 0) Integer)
+		    (project (vector-ref a 1) Integer)))))))