1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
|
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:serialized()
>> deserialize(bytes -> Moment) == obj
= yes
do:
>> obj := Int64(123)
>> bytes := obj:serialized()
>> deserialize(bytes -> Int64) == obj
= yes
do:
>> obj := 5
>> bytes := obj:serialized()
>> deserialize(bytes -> Int) == obj
= yes
do:
>> obj := 9999999999999999999999999999999999999999999999999999
>> bytes := obj:serialized()
>> deserialize(bytes -> Int) == obj
= yes
do:
>> obj := "Héllo"
>> bytes := obj:serialized()
>> deserialize(bytes -> Text)
>> deserialize(bytes -> Text) == obj
= yes
do:
>> obj := [Int64(10), Int64(20), Int64(30)]:reversed()
>> bytes := obj:serialized()
>> deserialize(bytes -> [Int64]) == obj
= yes
do:
>> obj := yes
>> bytes := obj:serialized()
>> deserialize(bytes -> Bool) == obj
= yes
do:
>> obj := @[10, 20]
>> bytes := obj:serialized()
>> roundtrip := deserialize(bytes -> @[Int])
>> roundtrip == obj
= no
>> roundtrip[] == obj[]
= yes
do:
>> obj := {"A"=10, "B"=20; fallback={"C"=30}}
>> bytes := obj:serialized()
>> deserialize(bytes -> {Text,Int}) == obj
= yes
do:
>> obj := @Foo("root")
>> obj.next = @Foo("abcdef", next=obj)
>> bytes := obj:serialized()
>> deserialize(bytes -> @Foo)
# = @Foo(name="root", next=@Foo(name="abcdef", next=@~1))
do:
>> obj := MyEnum.Two(123, "OKAY")
>> bytes := obj:serialized()
>> deserialize(bytes -> MyEnum) == obj
= yes
do:
>> obj := "Hello"?
>> bytes := obj:serialized()
>> deserialize(bytes -> Text?) == obj
= yes
do:
>> obj := {10, 20, 30}
>> bytes := obj:serialized()
>> deserialize(bytes -> {Int}) == obj
= yes
do:
>> obj := none:Num
>> bytes := obj:serialized()
>> deserialize(bytes -> Num?) == obj
= yes
do:
cases := [0, -1, 1, 10, 100000, 999999999999999999999999999]
for i in cases:
>> bytes := i:serialized()
>> deserialize(bytes -> Int) == i
= yes
|
