[r2003-03-22 23:21:32 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-22 23:21:32+00:00

tests/ttree.cd

@@ -2,6 +2,10 @@ include "../web/xhtml-strict.cd";;
 
 let fun f (x : Xhtml) : [ Xhtml ] =
   ttree [ x ] with <a>t -> [];;
+let fun g (x : Xhtml) : [ Xhtml ] =
+  ttree [ x ] with <a>t -> [ <b>t ];;
+
+
 (*
 
 type T = <a>[ <b>[] T* <b>[] ];;

typing/typer.ml

@@ -794,7 +794,6 @@ and compute_type' loc env = function
 	     (res,resid)
 	  ) t
       in
-      Printf.eprintf "Ttree typed.\n"; flush stderr;
       r
 
 (* We keep these cases here to allow comparison and benchmarking ...