Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Newer
Older
100644 61 lines (47 sloc) 1.69 kb
4692879 @OpaOnWindowsNow [feature] Internationalisation: add @i18n directive and start support fo...
OpaOnWindowsNow 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 (* rebel open *)
19 open SurfaceAst (* importing code, expr, all the directives types *)
20 (*
21 open SurfaceAst
22 open SurfaceAstHelper
23 open OpaEnv
24 *)
25
26
27 type ('a,'b) env_both_lcodes = {
28 lcodeNotUser : ('a,'b) code ;
29 (** Source code added automatically *)
30
31 lcodeUser : ('a,'b) code ;
32 (** Source code added at the request of the user *)
33
34 lcodeTypeRenaming : (Ident.t * FilePos.pos) StringMap.t ;
35 (** the renaming of types for the current package *)
36
37 exported_values_idents : IdentSet.t ;
38 (** The set of values identifiers that are exported outside this package.
39 It contains all toplevel values definitions that are not marked by a
40 @private directive. *)
41 env_bsl : BslLib.env_bsl ;
42 (** plugins and bymap *)
43 }
44
45 (**
46 The result of parsing a file.
47 *)
48 type 'a parsed_file = {
49 parsedFile_filename : string ;
50 (** The full name of the file*)
51
52 parsedFile_lcode : (string,'a) code ;
53 (** The surface Ast *)
54
55 parsedFile_content : string ;
56 (** The content of the file *)
57 }
58
59 (* alias *)
60 type options = OpaEnv.opa_options
Something went wrong with that request. Please try again.