[r2002-12-03 23:32:05 by cvscast] Empty log message

Original author: cvscast
Date: 2002-12-03 23:32:05+00:00

types/types.ml

@@ -531,6 +531,9 @@ This version explodes when dealing with
     in
     List.iter line d;
     !accu
+(* Maybe, can improve this function with:
+     (t,s) \ (t1,s1) = (t&t',s\s') | (t\t',s),
+   don't call normal_aux *)
 
   let get ?(kind=`Normal) d = 
     match kind with
@@ -561,6 +564,8 @@ This version explodes when dealing with
 	Not_found ->
 	  let gd = get_aux d in
 	  let n = normal_aux gd in
+(* Could optimize this call to normal_aux because one already
+   know that each line is normalized ... *)
 	  memo := Memo.add d n !memo;
 	  n