new primitive: array-equal? - mu - Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.

diff options

author	Kartik Agaram <vc@akkartik.com>	2019-05-25 00:43:19 -0700
committer	Kartik Agaram <vc@akkartik.com>	2019-05-25 00:43:19 -0700
commit	6c03f2edab211d90405187eafa9a0243bbd64c39 (patch)
tree	91d39f253b3ff5b1c080f3591ec448d9be32e3b0 /subx/apps/crenshaw2-1b
parent	0b2d2d97284c41ad095e9dbbe6657b857af1c7b9 (diff)
download	mu-6c03f2edab211d90405187eafa9a0243bbd64c39.tar.gz

new primitive: array-equal?

Diffstat (limited to 'subx/apps/crenshaw2-1b')

-rwxr-xr-x

subx/apps/crenshaw2-1b

bin

20374 -> 20960 bytes

1 files changed, 0 insertions, 0 deletions

# Check our support for fake file systems in scenarios. scenario read-from-fake-file [ local-scope assume-resources [ [a] <- [ |xyz| ] ] contents:&:source:char <- start-reading resources, [a] 1:char/raw <- read contents 2:char/raw <- read contents 3:char/raw <- read contents 4:char/raw <- read contents _, 5:bool/raw <- read contents memory-should-contain [ 1 <- 120 # x 2 <- 121 # y 3 <- 122 # z 4 <- 10 # newline 5 <- 1 # eof ] ] scenario write-to-new-fake-file [ local-scope assume-resources [ ] sink:&:sink:char, writer:num/routine <- start-writing resources, [a] sink <- write sink, 120/x sink <- write sink, 121/y close sink wait-for-routine writer contents-read-back:text <- slurp resources, [a] 10:bool/raw <- equal contents-read-back, [xy] memory-should-contain [ 10 <- 1 # file contents read back exactly match what was written ] ] scenario write-to-new-fake-file-2 [ local-scope assume-resources [ [a] <- [ |abc| ] ] sink:&:sink:char, writer:num/routine <- start-writing resources, [b] sink <- write sink, 120/x sink <- write sink, 121/y close sink wait-for-routine writer contents-read-back:text <- slurp resources, [b] 10:bool/raw <- equal contents-read-back, [xy] memory-should-contain [ 10 <- 1 # file contents read back exactly match what was written ] ] scenario write-to-fake-file-that-exists [ local-scope assume-resources [ [a] <- [] ] sink:&:sink:char, writer:num/routine <- start-writing resources, [a] sink <- write sink, 120/x sink <- write sink, 121/y close sink wait-for-routine writer contents-read-back:text <- slurp resources, [a] 10:bool/raw <- equal contents-read-back, [xy] memory-should-contain [ 10 <- 1 # file contents read back exactly match what was written ] ] scenario write-to-existing-file-preserves-other-files [ local-scope assume-resources [ [a] <- [] [b] <- [ |bcd| ] ] sink:&:sink:char, writer:num/routine <- start-writing resources, [a] sink <- write sink, 120/x sink <- write sink, 121/y close sink wait-for-routine writer contents-read-back:text <- slurp resources, [a] 10:bool/raw <- equal contents-read-back, [xy] other-file-contents:text <- slurp resources, [b] 11:bool/raw <- equal other-file-contents, [bcd ] memory-should-contain [ 10 <- 1 # file contents read back exactly match what was written 11 <- 1 # other files also continue to persist unchanged ] ]


context:
space:
mode: