Skip to content
This repository
Newer
Older
100644 35 lines (28 sloc) 1.282 kb
fccc6851 » MLstate
2011-06-21 Initial open-source release
1 (*
2 Copyright © 2011 MLstate
3
5bb0f1a4 » Aqua-Ye
2012-07-09 [cleanup] compiler: typo on Opa
4 This file is part of Opa.
fccc6851 » MLstate
2011-06-21 Initial open-source release
5
5bb0f1a4 » Aqua-Ye
2012-07-09 [cleanup] compiler: typo on Opa
6 Opa is free software: you can redistribute it and/or modify it under the
fccc6851 » MLstate
2011-06-21 Initial open-source release
7 terms of the GNU Affero General Public License, version 3, as published by
8 the Free Software Foundation.
9
5bb0f1a4 » Aqua-Ye
2012-07-09 [cleanup] compiler: typo on Opa
10 Opa is distributed in the hope that it will be useful, but WITHOUT ANY
fccc6851 » MLstate
2011-06-21 Initial open-source release
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
5bb0f1a4 » Aqua-Ye
2012-07-09 [cleanup] compiler: typo on Opa
16 along with Opa. If not, see <http://www.gnu.org/licenses/>.
fccc6851 » MLstate
2011-06-21 Initial open-source release
17 *)
18 (**
19 Processing assert directives
20 @author Mathieu Barbin
21 *)
22
23 (**
24 Depending on the option --no-assert, remove assert directives, or
25 rewrite them using a cond and the [\@fail] directive.
26
27 Resolution of assert directives takes places after typing and slicing
28 to avoid too much differences between the code with or without asserts,
29 but is done before explicit instantiation, to avoid the introduction
30 of unused type variable (used e.g. just for magic to string in assert
31 error messages)
32 *)
33
34 val process_code : no_assert:bool ->
35 QmlTypes.gamma -> QmlAst.annotmap -> QmlAst.code -> QmlAst.annotmap * QmlAst.code
Something went wrong with that request. Please try again.