diff options
Diffstat (limited to 'assignment-3/serialize3Native.icl')
-rw-r--r-- | assignment-3/serialize3Native.icl | 20 |
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. +*/ |