Commits

camlspotter committed 610ed48

cr

Comments (0)

Files changed (1)

 
   type key = Base.key
 
+  (* CR jfuruse: key comparison is by compare_val!!! 
+     Possible bottle neck!
+  *)
   (* key uniqueness is the user's responsibility *)
   let memoize (key : Base.key) (f : (t -> 'a)) (str : t) : 'a =
     let memo = memo str in