Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Newer
Older
100644 62 lines (50 sloc) 1.908 kb
fccc685 Initial open-source release
MLstate authored
1 (*
f2af64a Rudy Sicard [feature] qmlSimpleSlicer: 6 new warning classes controled by --slicer-c...
OpaOnWindowsNow authored
2 Copyright © 2011, 2012 MLstate
fccc685 Initial open-source release
MLstate authored
3
5bb0f1a Frederic Ye [cleanup] compiler: typo on Opa
Aqua-Ye authored
4 This file is part of Opa.
fccc685 Initial open-source release
MLstate authored
5
5bb0f1a Frederic Ye [cleanup] compiler: typo on Opa
Aqua-Ye authored
6 Opa is free software: you can redistribute it and/or modify it under the
fccc685 Initial open-source release
MLstate authored
7 terms of the GNU Affero General Public License, version 3, as published by
8 the Free Software Foundation.
9
5bb0f1a Frederic Ye [cleanup] compiler: typo on Opa
Aqua-Ye authored
10 Opa is distributed in the hope that it will be useful, but WITHOUT ANY
fccc685 Initial open-source release
MLstate authored
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
5bb0f1a Frederic Ye [cleanup] compiler: typo on Opa
Aqua-Ye authored
16 along with Opa. If not, see <http://www.gnu.org/licenses/>.
fccc685 Initial open-source release
MLstate authored
17 *)
18 type splitted_code = {
19 code : QmlAst.code ;
20
21 published : Pass_ExplicitInstantiation.published_map;
22 (**
23 the set of identifiers that can be called from the other side
24 [None] means they weren't rewritten by explicit instantiation
25 [Some (ident,annot)] means they were rewritten by explicit instantiation
26 and [ident] is the "unoptimized" identifier that takes all the type variables
27 of its schema instead of only the necessary type variables (and the annotation
28 contains its type of course)
29 *)
30
912531f Quentin Bourgerie [enhance] compiler, jsimp: Propagates only the original renaming to back...
BourgerieQuentin authored
31 original_renaming : QmlRenamingMap.t ;
32
fccc685 Initial open-source release
MLstate authored
33 renaming : QmlRenamingMap.t ;
34 }
35
f2af64a Rudy Sicard [feature] qmlSimpleSlicer: 6 new warning classes controled by --slicer-c...
OpaOnWindowsNow authored
36 module Options : sig
37 (** command line options specs for the slicer *)
38 val list : (string * Base.Arg.spec * string) list
39 end
40
1bb20d2 Quentin Bourgerie [feature] compiler: Added QmlSimpleSlicer.get_renaming to have idents co...
BourgerieQuentin authored
41 val get_renaming : ObjectFiles.package -> side:[`client|`server] -> Ident.t IdentMap.t
42
fccc685 Initial open-source release
MLstate authored
43 val process_code :
44 test_mode:bool ->
45 dump:bool ->
46 typer_env:QmlTyper.env ->
47 stdlib_gamma:QmlTypes.gamma ->
c62c74a Quentin Bourgerie [enhance] compiler: jscompiler, slicer, bslloading should take care of b...
BourgerieQuentin authored
48 client_bsl_lang:BslLanguage.t ->
49 server_bsl_lang:BslLanguage.t ->
fccc685 Initial open-source release
MLstate authored
50 bymap:BslLib.BSL.ByPassMap.t ->
09519b2 Quentin Bourgerie [enhance] compiler, slicer: Functions inherits of annotations of their e...
BourgerieQuentin authored
51 modules:IdentSet.t ->
fccc685 Initial open-source release
MLstate authored
52 code:QmlAst.code ->
53 QmlTypes.gamma
54 * QmlTyper.env
55 * splitted_code (* client_code *)
56 * splitted_code (* server_code *)
57
58 (**
59 {5 Warnings}
60 *)
61 val warning_set : WarningClass.Set.t
Something went wrong with that request. Please try again.