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
|
open Ppxlib
open Expansion_helpers
module Ast = Ast_builder.Default
[%%expect{|
module Ast = Ppxlib.Ast_builder.Default
|}]
let quoter = Quoter.create ();;
[%%expect{|
val quoter : Quoter.t = <abstr>
|}]
let expr1 =
Ast.evar "foo" ~loc:Location.none
|> Quoter.quote quoter
[%%ignore]
Pprintast.string_of_expression expr1;;
[%%expect{|
- : string = "__0"
|}]
let expr2 =
Ast_builder.Default.evar ~loc:Location.none "bar"
|> Quoter.quote quoter
[%%ignore]
Pprintast.string_of_expression expr2;;
[%%expect{|
- : string = "__1"
|}]
let expr3 =
Ast.eapply ~loc:Location.none (Ast.evar "foo" ~loc:Location.none) [Ast.eunit ~loc:Location.none]
|> Quoter.quote quoter
[%%ignore]
Pprintast.string_of_expression expr3;;
[%%expect{|
- : string = "__2 ()"
|}]
let quoted =
let expr = Ast.elist ~loc:Location.none [expr1; expr2; expr3] in
Quoter.sanitize quoter expr
[%%ignore]
Pprintast.string_of_expression quoted;;
[%%expect{|
- : string =
"let __2 () = foo ()\nand __1 = bar\nand __0 = foo in [__0; __1; __2 ()]"
|}]
|
