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
|
open Camlp4
module Id = struct
let name = "Camlp4Parsers.LoadCamlp4Ast"
let version = Sys.ocaml_version
end
module Make (Ast : Camlp4.Sig.Camlp4Ast.S) = struct
module Ast = Ast
open Ast
let _loc = Loc.ghost
let parse_implem ?directive_handler:(_) _ _ =
let e =
Ast.ExApp (_loc,
Ast.ExApp (_loc,
Ast.ExId (_loc,
Ast.IdAcc (_loc, Ast.IdUid (_loc, "G"), Ast.IdLid (_loc, "extend"))),
Ast.ExTyc (_loc, Ast.ExId (_loc, Ast.IdLid (_loc, "expr")),
Ast.TyApp (_loc,
Ast.TyId (_loc,
Ast.IdAcc (_loc, Ast.IdUid (_loc, "G"),
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Entry"),
Ast.IdLid (_loc, "t")))),
Ast.TyQuo (_loc, "expr")))),
Ast.ExTup (_loc,
Ast.ExCom (_loc, Ast.ExId (_loc, Ast.IdUid (_loc, "None")),
Ast.ExApp (_loc,
Ast.ExApp (_loc, Ast.ExId (_loc, Ast.IdUid (_loc, "::")),
Ast.ExTup (_loc,
Ast.ExCom (_loc, Ast.ExId (_loc, Ast.IdUid (_loc, "None")),
Ast.ExCom (_loc, Ast.ExId (_loc, Ast.IdUid (_loc, "None")),
Ast.ExApp (_loc,
Ast.ExApp (_loc, Ast.ExId (_loc, Ast.IdUid (_loc, "::")),
Ast.ExTup (_loc,
Ast.ExCom (_loc,
Ast.ExApp (_loc,
Ast.ExApp (_loc,
Ast.ExId (_loc, Ast.IdUid (_loc, "::")),
Ast.ExApp (_loc,
Ast.ExId (_loc,
Ast.IdAcc (_loc, Ast.IdUid (_loc, "G"),
Ast.IdUid (_loc, "Skeyword"))),
Ast.ExStr (_loc, "foo"))),
Ast.ExId (_loc, Ast.IdUid (_loc, "[]"))),
Ast.ExApp (_loc,
Ast.ExId (_loc,
Ast.IdAcc (_loc, Ast.IdUid (_loc, "G"),
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Action"),
Ast.IdLid (_loc, "mk")))),
Ast.ExFun (_loc,
Ast.AsArr (_loc, Ast.PaAny _loc, Ast.ONone,
Ast.ExFun (_loc,
Ast.AsArr (_loc,
Ast.PaTyc (_loc,
Ast.PaId (_loc,
Ast.IdLid (_loc, "_loc")),
Ast.TyId (_loc,
Ast.IdAcc (_loc,
Ast.IdUid (_loc, "Loc"),
Ast.IdLid (_loc, "t")))),
Ast.ONone,
Ast.ExTyc (_loc,
Ast.ExApp (_loc,
Ast.ExApp (_loc,
Ast.ExId (_loc,
Ast.IdAcc (_loc,
Ast.IdUid (_loc, "Ast"),
Ast.IdUid (_loc, "ExId"))),
Ast.ExId (_loc,
Ast.IdLid (_loc, "_loc"))),
Ast.ExApp (_loc,
Ast.ExApp (_loc,
Ast.ExId (_loc,
Ast.IdAcc (_loc,
Ast.IdUid (_loc, "Ast"),
Ast.IdUid (_loc, "IdLid"))),
Ast.ExId (_loc,
Ast.IdLid (_loc, "_loc"))),
Ast.ExStr (_loc, "foo"))),
Ast.TyQuo (_loc, "expr")))))))))),
Ast.ExId (_loc, Ast.IdUid (_loc, "[]"))))))),
Ast.ExId (_loc, Ast.IdUid (_loc, "[]"))))))
in Ast.StExp (_loc, e)
let parse_interf ?directive_handler:(_) _ _ = assert false;;
end;;
let module M = Camlp4.Register.OCamlParser(Id)(Make) in ()
|
