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
|
--- parse tree ---
[ Comment
, SoftBreak
, Code
"typ/compiler/array-13.typ"
( line 2 , column 2 )
(Block
(CodeBlock
[ Let
(BasicBind (Just (Identifier "tasks")))
(Dict
[ Reg
( Ident (Identifier "a")
, Array
[ Reg (Literal (Int 1))
, Reg (Literal (Int 2))
, Reg (Literal (Int 3))
]
)
, Reg
( Ident (Identifier "b")
, Array
[ Reg (Literal (Int 4))
, Reg (Literal (Int 5))
, Reg (Literal (Int 6))
]
)
])
, FuncCall
(Ident (Identifier "test"))
[ NormalArg
(FuncCall
(FieldAccess
(Ident (Identifier "pop"))
(FuncCall
(FieldAccess
(Ident (Identifier "at")) (Ident (Identifier "tasks")))
[ NormalArg (Literal (String "a")) ]))
[])
, NormalArg (Literal (Int 3))
]
, FuncCall
(FieldAccess
(Ident (Identifier "push"))
(FieldAccess
(Ident (Identifier "b")) (Ident (Identifier "tasks"))))
[ NormalArg (Literal (Int 7)) ]
, FuncCall
(Ident (Identifier "test"))
[ NormalArg
(FieldAccess (Ident (Identifier "a")) (Ident (Identifier "tasks")))
, NormalArg
(Array [ Reg (Literal (Int 1)) , Reg (Literal (Int 2)) ])
]
, FuncCall
(Ident (Identifier "test"))
[ NormalArg
(FuncCall
(FieldAccess
(Ident (Identifier "at")) (Ident (Identifier "tasks")))
[ NormalArg (Literal (String "b")) ])
, NormalArg
(Array
[ Reg (Literal (Int 4))
, Reg (Literal (Int 5))
, Reg (Literal (Int 6))
, Reg (Literal (Int 7))
])
]
]))
, ParBreak
]
--- evaluated ---
document(body: { text(body: [
]),
text(body: [✅]),
text(body: [✅]),
text(body: [✅]),
parbreak() })
|
