Skip to content
Browse files

[cleanup] open: remove Base in opalang

  • Loading branch information...
1 parent 2d63a40 commit 44019de8e1958fccfff0118b8373e2c0254d2d4c Raja committed Jun 28, 2011
View
1 opalang/opaMapToIdent.ml
@@ -15,7 +15,6 @@
You should have received a copy of the GNU Affero General Public License
along with OPA. If not, see <http://www.gnu.org/licenses/>.
*)
-open Base
(*
We test strictly than the val_ function is called only on
View
5 opalang/opaWalk.ml
@@ -15,7 +15,10 @@
You should have received a copy of the GNU Affero General Public License
along with OPA. If not, see <http://www.gnu.org/licenses/>.
*)
-open Base
+
+(* depends *)
+module List = BaseList
+
open SurfaceAst
let foldmap_2_stable tra acc ((s,p) as c) =
View
1 opalang/standaloneparser.ml
@@ -19,7 +19,6 @@
* This file is a standalone parser for the opa syntax
* It is meant for debugging/profiling the parser
*)
-open Base
let show = ref false
let show_pos = ref false
View
9 opalang/surfaceAstCons.ml
@@ -15,8 +15,11 @@
You should have received a copy of the GNU Affero General Public License
along with OPA. If not, see <http://www.gnu.org/licenses/>.
*)
+
+(* depends *)
+module List = BaseList
+
(* FIXME: open *)
-open Base
open SurfaceAst
module Fresh =
@@ -66,8 +69,8 @@ module StringIdent =
struct
type ident = string
let equal s s' = String.compare s s' = 0
- let val_ = identity
- let typ = identity
+ let val_ = Base.identity
+ let typ = Base.identity
let fresh = Fresh.typevar
let ns_fresh ~label:_ s = s
end
View
20 opalang/surfaceAstDecons.ml
@@ -1,23 +1,7 @@
-(*
- Copyright © 2011 MLstate
-
- This file is part of OPA.
-
- OPA is free software: you can redistribute it and/or modify it under the
- terms of the GNU Affero General Public License, version 3, as published by
- the Free Software Foundation.
-
- OPA is distributed in the hope that it will be useful, but WITHOUT ANY
- WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
- FOR A PARTICULAR PURPOSE. See the GNU Affero General Public License for
- more details.
-
- You should have received a copy of the GNU Affero General Public License
- along with OPA. If not, see <http://www.gnu.org/licenses/>.
-*)
-open Base
open SurfaceAst
+let identity = Base.identity
+
module Fixpoint =
struct
(* used for removing nodes *)
View
5 opalang/surfaceAstHelper.ml
@@ -15,8 +15,11 @@
You should have received a copy of the GNU Affero General Public License
along with OPA. If not, see <http://www.gnu.org/licenses/>.
*)
+
+(* depends *)
+module List = BaseList
+
(* TODO remove *)
-open Base
open SurfaceAst
let (|>) = InfixOperator.(|>)
View
3 opalang/surfaceAstTraversal.ml
@@ -20,7 +20,6 @@
*)
(* TODO remove *)
-open Base
open SurfaceAst
open SurfaceAstHelper
@@ -153,7 +152,7 @@ struct
| e -> sub_expr_no_ident e
let sub_expr' fd x = unannot (sub_expr_node' fd) x
- let sub_expr_node e = sub_expr_node' identity e
+ let sub_expr_node e = sub_expr_node' Base.identity e
let sub_expr x = unannot sub_expr_node x
View
7 opalang/syntax/parser_utils.ml
@@ -15,8 +15,13 @@
You should have received a copy of the GNU Affero General Public License
along with OPA. If not, see <http://www.gnu.org/licenses/>.
*)
+
+(* depends *)
+module String = BaseString
+module List = BaseList
+module Char = BaseChar
+
(* TODO remove *)
-open Base
open Printf
open SurfaceAst
module Cons = SurfaceAstCons.StringCons

0 comments on commit 44019de

Please sign in to comment.
Something went wrong with that request. Please try again.