1 files changed, 95 insertions, 0 deletions
diff --git a/test/serialization.tm b/test/serialization.tm
new file mode 100644
index 00000000..218b0335
--- /dev/null
+++ b/test/serialization.tm
@@ -0,0 +1,95 @@
+
+struct Foo(name:Text, next=NONE:@Foo)
+
+enum MyEnum(Zero, One(x:Int), Two(x:Num, y:Text))
+
+func main():
+    do:
+        >> obj := now()
+        >> bytes := obj:serialize()
+        >> DESERIALIZE(bytes):Moment == obj
+        = yes
+
+    do:
+        >> obj := Int64(123)
+        >> bytes := obj:serialize()
+        >> DESERIALIZE(bytes):Int64 == obj
+        = yes
+
+    do:
+        >> obj := 5
+        >> bytes := obj:serialize()
+        >> DESERIALIZE(bytes):Int == obj
+        = yes
+
+    do:
+        >> obj := 9999999999999999999999999999999999999999999999999999
+        >> bytes := obj:serialize()
+        >> DESERIALIZE(bytes):Int == obj
+        = yes
+
+    do:
+        >> obj := "Héllo"
+        >> bytes := obj:serialize()
+        >> DESERIALIZE(bytes):Text
+        >> DESERIALIZE(bytes):Text == obj
+        = yes
+
+    do:
+        >> obj := [Int64(10), Int64(20), Int64(30)]:reversed()
+        >> bytes := obj:serialize()
+        >> DESERIALIZE(bytes):[Int64] == obj
+        = yes
+
+    do:
+        >> obj := yes
+        >> bytes := obj:serialize()
+        >> DESERIALIZE(bytes):Bool == obj
+        = yes
+
+    do:
+        >> obj := @[10, 20]
+        >> bytes := obj:serialize()
+        >> roundtrip := DESERIALIZE(bytes):@[Int]
+        >> roundtrip == obj
+        = no
+        >> roundtrip[] == obj[]
+        = yes
+
+    do:
+        >> obj := {"A":10, "B":20; fallback={"C":30}}
+        >> bytes := obj:serialize()
+        >> DESERIALIZE(bytes):{Text:Int} == obj
+        = yes
+
+    do:
+        >> obj := @Foo("root")
+        >> obj.next = @Foo("abcdef", next=obj)
+        >> bytes := obj:serialize()
+        >> DESERIALIZE(bytes):@Foo
+        = @Foo(name="root", next=@Foo(name="abcdef", next=@~1))
+
+    do:
+        >> obj := MyEnum.Two(123, "OKAY")
+        >> bytes := obj:serialize()
+        >> DESERIALIZE(bytes):MyEnum == obj
+        = yes
+
+    do:
+        >> obj := "Hello"?
+        >> bytes := obj:serialize()
+        >> DESERIALIZE(bytes):Text? == obj
+        = yes
+
+    do:
+        >> obj := {10, 20, 30}
+        >> bytes := obj:serialize()
+        >> DESERIALIZE(bytes):{Int} == obj
+        = yes
+
+    do:
+        >> obj := NONE:Num
+        >> bytes := obj:serialize()
+        >> DESERIALIZE(bytes):Num? == obj
+        = yes
+