diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2014-10-30 00:41:09 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2014-10-30 00:41:09 -0700 |
| commit | 2c3248b3763e24e8549f69c283a5e6157d2510b1 (patch) | |
| tree | 082a5a137e7155dfd9f1eb2e3d5d2bcae1d19f6d /mu.arc.t | |
| parent | f57129dcca0aa224a8d97c72b82ef4eddda4bd20 (diff) | |
| download | mu-2c3248b3763e24e8549f69c283a5e6157d2510b1.tar.gz | |
179
Diffstat (limited to 'mu.arc.t')
| -rw-r--r-- | mu.arc.t | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/mu.arc.t b/mu.arc.t index 8fbbf7ad..a715b76b 100644 --- a/mu.arc.t +++ b/mu.arc.t @@ -1384,7 +1384,7 @@ (new-trace "set-default-scope") (add-fns '((main - ((default-scope scope-address) <- new (scope type) (1 literal)) + ((default-scope scope-address) <- new (scope type) (2 literal)) ((1 integer) <- copy (23 literal))))) (let before Memory-in-use-until ;? (set dump-trace*) @@ -1394,4 +1394,17 @@ (is 23 (memory* (+ before 1)))) (prn "F - default-scope implicitly modifies variable locations"))) +(reset) +(new-trace "default-scope-bounds-check") +(add-fns + '((main + ((default-scope scope-address) <- new (scope type) (2 literal)) + ((2 integer) <- copy (23 literal))))) +;? (set dump-trace*) +(run 'main) +;? (prn memory*) +(let last-routine (deq completed-routines*) + (if (no rep.last-routine!error) + (prn "F - default-scope checks bounds"))) + (reset) ; end file with this to persist the trace for the final test |