Commit 81e150cf authored by Pietro Abate's avatar Pietro Abate
Browse files

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

Original author: cvscast
Date: 2003-03-22 23:21:32+00:00
parent fb53a4a9
...@@ -2,6 +2,10 @@ include "../web/xhtml-strict.cd";; ...@@ -2,6 +2,10 @@ include "../web/xhtml-strict.cd";;
let fun f (x : Xhtml) : [ Xhtml ] = let fun f (x : Xhtml) : [ Xhtml ] =
ttree [ x ] with <a>t -> [];; ttree [ x ] with <a>t -> [];;
let fun g (x : Xhtml) : [ Xhtml ] =
ttree [ x ] with <a>t -> [ <b>t ];;
(* (*
type T = <a>[ <b>[] T* <b>[] ];; type T = <a>[ <b>[] T* <b>[] ];;
......
...@@ -794,7 +794,6 @@ and compute_type' loc env = function ...@@ -794,7 +794,6 @@ and compute_type' loc env = function
(res,resid) (res,resid)
) t ) t
in in
Printf.eprintf "Ttree typed.\n"; flush stderr;
r r
(* We keep these cases here to allow comparison and benchmarking ... (* We keep these cases here to allow comparison and benchmarking ...
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment