summaryrefslogtreecommitdiff
path: root/assignment-3/serialize3Native.icl
diff options
context:
space:
mode:
Diffstat (limited to 'assignment-3/serialize3Native.icl')
-rw-r--r--assignment-3/serialize3Native.icl20
1 files changed, 20 insertions, 0 deletions
diff --git a/assignment-3/serialize3Native.icl b/assignment-3/serialize3Native.icl
index 3f0461b..3bb21c3 100644
--- a/assignment-3/serialize3Native.icl
+++ b/assignment-3/serialize3Native.icl
@@ -108,3 +108,23 @@ test a =
s = write{|*|} a ["\n"]
r = read{|*|} s
jr = fromJust r
+
+/*
+Oke, write produces: True
+Oke, write produces: False
+Oke, write produces: 0
+Oke, write produces: 123
+Oke, write produces: -36
+Oke, write produces: (_Cons 42 _Nil)
+Oke, write produces: (_Cons 0 (_Cons 1 (_Cons 2 (_Cons 3 (_Cons 4 _Nil)))))
+Oke, write produces: (_Cons (_Cons True _Nil) (_Cons _Nil _Nil))
+Oke, write produces: (_Cons (_Cons (_Cons 1 _Nil) _Nil) (_Cons (_Cons (_Cons 2 _Nil) (_Cons (_Cons 3 (_Cons 4 _Nil)) _Nil)) (_Cons (_Cons _Nil _Nil) _Nil)))
+Oke, write produces: (Bin Leaf True Leaf)
+Oke, write produces: (_Cons (Bin (Bin Leaf (_Cons 1 _Nil) Leaf) (_Cons 2 _Nil) (Bin Leaf (_Cons 3 _Nil) (Bin Leaf (_Cons 4 (_Cons 5 _Nil)) Leaf))) _Nil)
+Oke, write produces: (_Cons (Bin (Bin Leaf (_Cons 1 _Nil) Leaf) (_Cons 2 _Nil) (Bin Leaf (_Cons 3 _Nil) (Bin (Bin Leaf (_Cons 4 (_Cons 5 _Nil)) Leaf) (_Cons 6 (_Cons 7 _Nil)) (Bin Leaf (_Cons 8 (_Cons 9 _Nil)) Leaf)))) _Nil)
+Oke, write produces: Head
+Oke, write produces: Tail
+Oke, write produces: (7,True)
+Oke, write produces: (Head,(7,(_Cons Tail _Nil)))
+End of the tests.
+*/