[r2003-03-15 11:12:38 by cvscast] map pour les chars et les atoms

Original author: cvscast
Date: 2003-03-15 11:12:38+00:00

types/atoms.ml

@@ -92,7 +92,10 @@ let equal t1 t2 = match (t1,t2) with
   
 
 
-(* TODO: optimize map lookup *)
+(* Optimize lookup:
+   - decision tree
+   - merge adjacent segment with same result
+*)
 type 'a map = (v * 'a) list * 'a option
 
 let mk_map l =

types/chars.ml

@@ -100,6 +100,10 @@ let print =
     )
 
 type 'a map = (int * 'a) list
+(* Optimize lookup:
+   - decision tree
+   - merge adjacent segment with same result
+*)
 
 let mk_map l =
   let m =