diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2014-10-30 17:24:51 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2014-10-30 17:29:14 -0700 |
| commit | 3eb350738277cf7694136550cf3560415a3b0a08 (patch) | |
| tree | e2c7cb07db300a851fca49982ed4bff8a7e2a659 /mu.arc.t | |
| parent | 0257f8daa829c4c6c09da9dc30e1b065fbab0481 (diff) | |
| download | mu-3eb350738277cf7694136550cf3560415a3b0a08.tar.gz | |
181 - fix inconsistent metadata
We have cases where 'type' is stored in memory, so it can't be a literal type like 'offset'.
Diffstat (limited to 'mu.arc.t')
| -rw-r--r-- | mu.arc.t | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/mu.arc.t b/mu.arc.t index 16fd72b8..96e7c866 100644 --- a/mu.arc.t +++ b/mu.arc.t @@ -670,14 +670,14 @@ (add-fns '((test1 ; 1 points at first node: tagged-value (int 34) - ((1 list-address) <- new (list type)) + ((1 list-address) <- new (list literal)) ((2 tagged-value-address) <- list-value-address (1 list-address)) ((3 type-address) <- get-address (2 tagged-value-address deref) (0 offset)) ((3 type-address deref) <- copy (integer literal)) ((4 location) <- get-address (2 tagged-value-address deref) (1 offset)) ((4 location deref) <- copy (34 literal)) ((5 list-address-address) <- get-address (1 list-address deref) (1 offset)) - ((5 list-address-address deref) <- new (list type)) + ((5 list-address-address deref) <- new (list literal)) ; 6 points at second node: tagged-value (boolean t) ((6 list-address) <- copy (5 list-address-address deref)) ((7 tagged-value-address) <- list-value-address (6 list-address)) @@ -1265,7 +1265,7 @@ (new-trace "new-primitive") (add-fns '((main - ((1 integer-address) <- new (integer type))))) + ((1 integer-address) <- new (integer literal))))) (let before Memory-in-use-until (run 'main) ;? (prn memory*) @@ -1278,7 +1278,7 @@ (new-trace "new-array-literal") (add-fns '((main - ((1 type-array-address) <- new (type-array type) (5 literal))))) + ((1 type-array-address) <- new (type-array literal) (5 literal))))) (let before Memory-in-use-until (run 'main) ;? (prn memory*) @@ -1292,7 +1292,7 @@ (add-fns '((main ((1 integer) <- copy (5 literal)) - ((2 type-array-address) <- new (type-array type) (1 integer))))) + ((2 type-array-address) <- new (type-array literal) (1 integer))))) (let before Memory-in-use-until (run 'main) ;? (prn memory*) @@ -1384,7 +1384,7 @@ (new-trace "set-default-scope") (add-fns '((main - ((default-scope scope-address) <- new (scope type) (2 literal)) + ((default-scope scope-address) <- new (scope literal) (2 literal)) ((1 integer) <- copy (23 literal))))) (let before Memory-in-use-until ;? (set dump-trace*) @@ -1398,7 +1398,7 @@ (new-trace "set-default-scope-skips-offset") (add-fns '((main - ((default-scope scope-address) <- new (scope type) (2 literal)) + ((default-scope scope-address) <- new (scope literal) (2 literal)) ((1 integer) <- copy (23 offset))))) (let before Memory-in-use-until ;? (set dump-trace*) @@ -1412,7 +1412,7 @@ (new-trace "default-scope-bounds-check") (add-fns '((main - ((default-scope scope-address) <- new (scope type) (2 literal)) + ((default-scope scope-address) <- new (scope literal) (2 literal)) ((2 integer) <- copy (23 literal))))) ;? (set dump-trace*) (run 'main) |