ACLs

[hcoop/domtool2.git] / src / env.sig

diff --git a/src/env.sig b/src/env.sig
index 477af94..e5f19e6 100644 (file)
--- a/src/env.sig
+++ b/src/env.sig
@@ -38,6 +38,10 @@ signature ENV = sig
     val registerPost : (unit -> unit) -> unit
     val post : unit -> unit
 
+    (* ...and before type-checking *)
+    val registerPreTycheck : (unit -> unit) -> unit
+    val preTycheck : unit -> unit
+
     val badArgs : string * Ast.exp list -> 'a
     val badArg : string * string * Ast.exp -> 'a