about summary refs log tree commit diff stats
path: root/064list.mu
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2016-09-17 00:31:55 -0700
committerKartik K. Agaram <vc@akkartik.com>2016-09-17 00:31:55 -0700
commit08f4628e8b858120fe3547d8e5431d9abfe46bf8 (patch)
tree4d9f1bc0039baefa0e84d9cb3ea6634f4337d342 /064list.mu
parent58a9f7c34e21541f2db90b7fb66f4e92f04780ef (diff)
downloadmu-08f4628e8b858120fe3547d8e5431d9abfe46bf8.tar.gz
3379
Can't use type abbreviations inside 'memory-should-contain'.
Diffstat (limited to '064list.mu')
-rw-r--r--064list.mu68
1 files changed, 34 insertions, 34 deletions
diff --git a/064list.mu b/064list.mu
index 408bd0e3..3cced1c1 100644
--- a/064list.mu
+++ b/064list.mu
@@ -71,20 +71,20 @@ def insert x:_elem, in:address:list:_elem -> in:address:list:_elem [
 scenario inserting-into-list [
   run [
     local-scope
-    list:address:list:character <- push 3, 0
+    list:address:list:char <- push 3, 0
     list <- push 4, list
     list <- push 5, list
-    list2:address:list:character <- rest list  # inside list
+    list2:address:list:char <- rest list  # inside list
     list2 <- insert 6, list2
     # check structure
     list2 <- copy list
-    10:character/raw <- first list2
+    10:char/raw <- first list2
     list2 <- rest list2
-    11:character/raw <- first list2
+    11:char/raw <- first list2
     list2 <- rest list2
-    12:character/raw <- first list2
+    12:char/raw <- first list2
     list2 <- rest list2
-    13:character/raw <- first list2
+    13:char/raw <- first list2
   ]
   memory-should-contain [
     10 <- 5  # scanning next
@@ -97,21 +97,21 @@ scenario inserting-into-list [
 scenario inserting-at-end-of-list [
   run [
     local-scope
-    list:address:list:character <- push 3, 0
+    list:address:list:char <- push 3, 0
     list <- push 4, list
     list <- push 5, list
-    list2:address:list:character <- rest list  # inside list
+    list2:address:list:char <- rest list  # inside list
     list2 <- rest list2  # now at end of list
     list2 <- insert 6, list2
     # check structure like before
     list2 <- copy list
-    10:character/raw <- first list2
+    10:char/raw <- first list2
     list2 <- rest list2
-    11:character/raw <- first list2
+    11:char/raw <- first list2
     list2 <- rest list2
-    12:character/raw <- first list2
+    12:char/raw <- first list2
     list2 <- rest list2
-    13:character/raw <- first list2
+    13:char/raw <- first list2
   ]
   memory-should-contain [
     10 <- 5  # scanning next
@@ -124,19 +124,19 @@ scenario inserting-at-end-of-list [
 scenario inserting-after-start-of-list [
   run [
     local-scope
-    list:address:list:character <- push 3, 0
+    list:address:list:char <- push 3, 0
     list <- push 4, list
     list <- push 5, list
     list <- insert 6, list
     # check structure like before
-    list2:address:list:character <- copy list
-    10:character/raw <- first list2
+    list2:address:list:char <- copy list
+    10:char/raw <- first list2
     list2 <- rest list2
-    11:character/raw <- first list2
+    11:char/raw <- first list2
     list2 <- rest list2
-    12:character/raw <- first list2
+    12:char/raw <- first list2
     list2 <- rest list2
-    13:character/raw <- first list2
+    13:char/raw <- first list2
   ]
   memory-should-contain [
     10 <- 5  # scanning next
@@ -178,18 +178,18 @@ def remove x:address:list:_elem/contained-in:in, in:address:list:_elem -> in:add
 scenario removing-from-list [
   run [
     local-scope
-    list:address:list:character <- push 3, 0
+    list:address:list:char <- push 3, 0
     list <- push 4, list
     list <- push 5, list
-    list2:address:list:character <- rest list  # second element
+    list2:address:list:char <- rest list  # second element
     list <- remove list2, list
     10:boolean/raw <- equal list2, 0
     # check structure like before
     list2 <- copy list
-    11:character/raw <- first list2
+    11:char/raw <- first list2
     list2 <- rest list2
-    12:character/raw <- first list2
-    20:address:list:character/raw <- rest list2
+    12:char/raw <- first list2
+    20:address:list:char/raw <- rest list2
   ]
   memory-should-contain [
     10 <- 0  # remove returned non-null
@@ -202,16 +202,16 @@ scenario removing-from-list [
 scenario removing-from-start-of-list [
   run [
     local-scope
-    list:address:list:character <- push 3, 0
+    list:address:list:char <- push 3, 0
     list <- push 4, list
     list <- push 5, list
     list <- remove list, list
     # check structure like before
-    list2:address:list:character <- copy list
-    10:character/raw <- first list2
+    list2:address:list:char <- copy list
+    10:char/raw <- first list2
     list2 <- rest list2
-    11:character/raw <- first list2
-    20:address:list:character/raw <- rest list2
+    11:char/raw <- first list2
+    20:address:list:char/raw <- rest list2
   ]
   memory-should-contain [
     10 <- 4  # scanning next, skipping deleted element
@@ -223,20 +223,20 @@ scenario removing-from-start-of-list [
 scenario removing-from-end-of-list [
   run [
     local-scope
-    list:address:list:character <- push 3, 0
+    list:address:list:char <- push 3, 0
     list <- push 4, list
     list <- push 5, list
     # delete last element
-    list2:address:list:character <- rest list
+    list2:address:list:char <- rest list
     list2 <- rest list2
     list <- remove list2, list
     10:boolean/raw <- equal list2, 0
     # check structure like before
     list2 <- copy list
-    11:character/raw <- first list2
+    11:char/raw <- first list2
     list2 <- rest list2
-    12:character/raw <- first list2
-    20:address:list:character/raw <- rest list2
+    12:char/raw <- first list2
+    20:address:list:char/raw <- rest list2
   ]
   memory-should-contain [
     10 <- 0  # remove returned non-null
@@ -249,7 +249,7 @@ scenario removing-from-end-of-list [
 scenario removing-from-singleton-list [
   run [
     local-scope
-    list:address:list:character <- push 3, 0
+    list:address:list:char <- push 3, 0
     list <- remove list, list
     1:number/raw <- copy list
   ]