X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=memoizer.ml;fp=memoizer.ml;h=861fbb6faa2b9f4753ddac201bf10744dd9e5303;hb=b8aa8e7f1036cf00d0fadc75ccbe0264bae6c1b2;hp=2432af7507ec47c274d49cdad9d116d1bd912032;hpb=25dd7fcc77c2188732d96d5ff98d759bb81737cb;p=SXSI%2Fxpathcomp.git diff --git a/memoizer.ml b/memoizer.ml index 2432af7..861fbb6 100644 --- a/memoizer.ml +++ b/memoizer.ml @@ -39,7 +39,7 @@ struct let make f = - let tbl = H.create SMALL_H_SIZE in + let tbl = H.create BIG_H_SIZE in fun arg -> try H.find tbl arg @@ -50,8 +50,8 @@ struct type 'a fix = Fix of ('a fix -> 'a) let make_rec f = - let tbl = H.create SMALL_H_SIZE in - let unboxed = + let tbl = H.create BIG_H_SIZE in + let unboxed = function ((Fix f')as fix) -> f (fun arg -> try