Skip to content
This repository
Newer
Older
100644 38 lines (29 sloc) 1.142 kb
fccc6851 » MLstate
2011-06-21 Initial open-source release
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 This pass checks the validity of the recursive definitions in the whole code
20 and implements recursive bindings with values
21
22 Post condition: all recursive bindings contains only lambdas
23 *)
24
f30a1b1f » BourgerieQuentin
2012-01-09 [fix] recval: Added warning set for recursive values compilation + un…
25 module Warning : sig
26 val recval : WarningClass.wclass
27
28 val recval_lambda : WarningClass.wclass
29
30 val set : WarningClass.Set.t
31 end
32
fccc6851 » MLstate
2011-06-21 Initial open-source release
33 val process_code :
34 val_ : (string -> Ident.t) ->
35 QmlTypes.gamma ->
36 QmlAst.annotmap ->
37 QmlAst.code ->
38 QmlTypes.gamma * QmlAst.annotmap * QmlAst.code
Something went wrong with that request. Please try again.