--- typing/typer.ml	2007/07/10 16:58:13	17
+++ typing/typer.ml	2007/07/10 16:58:28	18
@@ -296,6 +296,7 @@
 let rec expr { loc = loc; descr = d } = 
   let (fv,td) = 
     match d with
+      | DebugTyper t -> (Fv.empty, Typed.DebugTyper (typ t))
       | Var s -> (Fv.singleton s, Typed.Var s)
       | Apply (e1,e2) -> 
 	  let (fv1,e1) = expr e1 and (fv2,e2) = expr e2 in
@@ -380,6 +381,7 @@
   d
 
 and compute_type' loc env = function
+  | DebugTyper t -> Types.descr t
   | Var s -> Env.find s env
   | Apply (e1,e2) ->
       let t1 = compute_type env e1 and t2 = compute_type env e2 in