[ADD] I've added the signature for bindCheck.ml

diff --git a/src/base.ml b/src/base.ml
index 76890cb..dea2c1f 100644 (file)
--- a/src/base.ml
+++ b/src/base.ml
@@ -20,7 +20,7 @@ let sure f =
 let maybe f x = try Some (f x) with _ -> None
 let tee f x = try ignore @@ f x; x with _ -> x
 
-type ('a,'b) either = Val of 'a | Error of 'b
+type ('a,'b) either = Val of 'a | Err of 'b
 
 let string_of_list xs =
   Printf.sprintf "[%s]"

diff --git a/src/bindCheck.ml b/src/bindCheck.ml
index 5812afa..257951a 100644 (file)
--- a/src/bindCheck.ml
+++ b/src/bindCheck.ml
@@ -125,8 +125,29 @@ let unbound_stmt (stmt : stmt) env =
             meth  = List.fold_left (flip MSet.remove) env.meth ms;
             klass = CSet.remove {name with value=("",name.value)} env.klass}
 
-let unbound program =
-  if List.fold_right unbound_stmt program empty = empty then
-    Val true
-  else
-    Error false
+
+let trans (stmt : stmt) : Ast.stmt option =
+  match stmt with
+     `External _ | `ExternalClass _ ->
+       None
+    | #Ast.stmt as s ->
+       Some s
+
+
+let trans (program : stmt list)=
+  let program',env = 
+    List.fold_right (fun s (stmt,env) ->
+                      let env' =
+                        unbound_stmt s env in
+                      match trans s with
+                          Some s' ->
+                            ((s'::stmt),env')
+                        | None ->
+                            stmt,env')
+      program 
+      ([],empty) in
+    if env = empty then
+      Val program'
+    else
+      Err (Node.empty "")
+

diff --git a/src/bindCheck.mli b/src/bindCheck.mli
new file mode 100644 (file)
index 0000000..57da0a6
--- /dev/null
+++ b/src/bindCheck.mli
@@ -0,0 +1,7 @@
+type method_ = Ast.ident * Ast.ident list
+type stmt =
+    [ `ExternalClass of Ast.ident * Ast.name * Ast.attr list * method_ list
+    | `External of Ast.ident
+    | Ast.stmt]
+
+val trans : stmt list -> (Ast.stmt list, string Node.t) Base.either