Issue with top-level

This commit is contained in:
Justin Ethier 2016-03-24 01:53:05 -04:00
parent 4b7cc58214
commit 2aa9276132

View file

@ -18,6 +18,10 @@
bv)
) ;=⇒ #u8(1 3 3 4)
(define a #u8(1 2 3 4 5))
(write (Cyc-bytevector-copy a 2 4)) ; =⇒ #u8(3 4)
;; TODO: does not work properly at the top-level
(let ((x 1))
(define a #u8(1 2 3 4 5))
(define b #(1 2 3 4 5))
(write (Cyc-bytevector-copy a 2 4)) ; =⇒ #u8(3 4)
(write b)
)