diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2014-10-31 17:35:24 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2014-10-31 17:35:24 -0700 |
| commit | 68b9221cedf4a5ad1f8c86e3bacaddd3728562b1 (patch) | |
| tree | be28a023909f6dda60d1820b2942f1160fdff1bc /mu.arc.t | |
| parent | c14eb01b29f6e06eb0fd420b68a80b1f76d9542d (diff) | |
| download | mu-68b9221cedf4a5ad1f8c86e3bacaddd3728562b1.tar.gz | |
190 - finally, variable names again
32 commits and 3 days later.
Diffstat (limited to 'mu.arc.t')
| -rw-r--r-- | mu.arc.t | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/mu.arc.t b/mu.arc.t index 6f26ec7d..3d8358ea 100644 --- a/mu.arc.t +++ b/mu.arc.t @@ -415,6 +415,7 @@ ((2 boolean) <- copy (nil literal)) ((3 boolean) <- get (1 integer-boolean-pair) (1 offset)) ((4 integer) <- get (1 integer-boolean-pair) (0 offset))))) +;? (set dump-trace*) (run 'main) ;? (prn memory*) (if (~iso memory* (obj 1 34 2 nil 3 nil 4 34)) @@ -429,6 +430,7 @@ ((3 integer-boolean-pair-address) <- copy (1 literal)) ((4 boolean) <- get (3 integer-boolean-pair-address deref) (1 offset)) ((5 integer) <- get (3 integer-boolean-pair-address deref) (0 offset))))) +;? (set dump-trace*) (run 'main) ;? (prn memory*) (if (~iso memory* (obj 1 34 2 nil 3 1 4 nil 5 34)) @@ -613,7 +615,7 @@ (reset) (new-trace "tagged-value") -;? (set dump-trace*) +;? (= dump-trace* (obj blacklist '("sz" "m" "setm" "addr" "cvt0" "cvt1"))) (add-fns '((main ((1 type) <- copy (integer-address literal)) @@ -621,8 +623,10 @@ ((3 integer-address) (4 boolean) <- maybe-coerce (1 tagged-value) (integer-address literal))))) (run 'main) ;? (prn memory*) +;? (prn completed-routines*) (if (or (~is memory*.3 34) (~is memory*.4 t)) (prn "F - 'maybe-coerce' copies value only if type tag matches")) +;? (quit) (reset) (new-trace "tagged-value-2") @@ -650,16 +654,17 @@ (reset) (new-trace "new-tagged-value") -;? (set dump-trace*) (add-fns '((main ((1 integer-address) <- copy (34 literal)) ; pointer to nowhere ((2 tagged-value-address) <- new-tagged-value (integer-address literal) (1 integer-address)) ((3 integer-address) (4 boolean) <- maybe-coerce (2 tagged-value-address deref) (integer-address literal))))) +;? (= dump-trace* (obj blacklist '("sz" "m" "setm" "addr" "cvt0" "cvt1" "sizeof"))) (run 'main) ;? (prn memory*) (if (or (~is memory*.3 34) (~is memory*.4 t)) (prn "F - 'new-tagged-value' is the converse of 'maybe-coerce'")) +;? (quit) ; Now that we can record types for values we can construct a dynamically typed ; list. @@ -720,7 +725,7 @@ (add-fns '((main ((1 integer) <- new-list (3 literal) (4 literal) (5 literal))))) -;? (set dump-trace*) +;? (= dump-trace* (obj blacklist '("sz" "m" "setm" "addr" "cvt0" "cvt1" "sizeof"))) (run 'main) ;? (prn memory*) (let first memory*.1 |