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
|
--- parse tree ---
[ Comment
, SoftBreak
, Code
"typ/compiler/recursion-03.typ"
( line 2 , column 2 )
(Let (BasicBind (Just (Identifier "f"))) (Literal (Int 10)))
, SoftBreak
, Code
"typ/compiler/recursion-03.typ"
( line 3 , column 2 )
(Let
(BasicBind (Just (Identifier "f")))
(FuncExpr [] (Ident (Identifier "f"))))
, SoftBreak
, Code
"typ/compiler/recursion-03.typ"
( line 4 , column 2 )
(FuncCall
(Ident (Identifier "test"))
[ NormalArg
(FuncCall
(Ident (Identifier "type"))
[ NormalArg (FuncCall (Ident (Identifier "f")) []) ])
, NormalArg (Literal (String "integer"))
])
, ParBreak
]
--- evaluated ---
document(body: { text(body: [
]),
text(body: [
]),
text(body: [
]),
text(body: [✅]),
parbreak() })
|
