Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Newer
Older
100644 41 lines (34 sloc) 1.716 kb
fccc685 Initial open-source release
MLstate authored
1 (*
2 Copyright © 2011 MLstate
3
4 This file is part of OPA.
5
6 OPA is free software: you can redistribute it and/or modify it under the
7 terms of the GNU Affero General Public License, version 3, as published by
8 the Free Software Foundation.
9
10 OPA is distributed in the hope that it will be useful, but WITHOUT ANY
11 WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
12 FOR A PARTICULAR PURPOSE. See the GNU Affero General Public License for
13 more details.
14
15 You should have received a copy of the GNU Affero General Public License
16 along with OPA. If not, see <http://www.gnu.org/licenses/>.
17 *)
18 (**
19 A family of pretty-printers for the OPA AST.
20 *)
21
22 type 'ident printer =
23 <
24 code : 'dir. ('ident, [< SurfaceAst.all_directives ] as 'dir) SurfaceAst.code LangPrint.pprinter;
25 code_elt : 'dir. ('ident, [< SurfaceAst.all_directives ] as 'dir) SurfaceAst.code_elt LangPrint.pprinter;
26 code_elt_node : 'dir. ('ident, [< SurfaceAst.all_directives ] as 'dir) SurfaceAst.code_elt_node LangPrint.pprinter;
27 expr : 'dir. ('ident, [< SurfaceAst.all_directives ] as 'dir) SurfaceAst.expr LangPrint.pprinter;
28 ty : 'ident SurfaceAst.ty LangPrint.pprinter;
29 directive : 'dir. ('ident,[< SurfaceAst.all_directives ] as 'dir) SurfaceAst.directive LangPrint.pprinter;
30 variant : 'dir. ([< SurfaceAst.all_directives ] as 'dir) LangPrint.pprinter;
31 typevar : 'ident SurfaceAst.typevar LangPrint.pprinter;
32 typeident : 'ident SurfaceAst.typeident LangPrint.pprinter;
33 ident : 'ident LangPrint.pprinter;
34 >
35
36 val string : string printer
37 val string_and_pos : string printer
38 val ident : Ident.t printer
39 val readable_ident : Ident.t printer
40 val full_ident : Ident.t printer
Something went wrong with that request. Please try again.