Skip to content


Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
100644 25 lines (19 sloc) 0.989 kb
fccc685 Initial open-source release
MLstate authored
1 (*
2 Copyright © 2011 MLstate
4 This file is part of OPA.
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.
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.
15 You should have received a copy of the GNU Affero General Public License
16 along with OPA. If not, see <>.
17 *)
18 (**
19 Removes the type definitions from the code and puts them in the gamma
20 after checking their validity.
21 The first argument is a function for fields registering.
22 *)
5242af3 @BourgerieQuentin [enhance] compiler: Add compiler packages (Import packages that not p…
BourgerieQuentin authored
24 val process_code : (string -> unit) -> QmlTyper.OfficialTyper.env -> QmlAst.code -> QmlAst.TypeIdentSet.t * QmlTyper.OfficialTyper.env * QmlAst.code * QmlTypes.gamma
Something went wrong with that request. Please try again.