diff options
Diffstat (limited to 'otherlibs/labltk/browser/jg_memo.ml')
| -rw-r--r-- | otherlibs/labltk/browser/jg_memo.ml | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/otherlibs/labltk/browser/jg_memo.ml b/otherlibs/labltk/browser/jg_memo.ml deleted file mode 100644 index 43a5eb15b..000000000 --- a/otherlibs/labltk/browser/jg_memo.ml +++ /dev/null @@ -1,17 +0,0 @@ -(* $Id$ *) - -class ['a,'b] c fun:(f : 'a -> 'b) = object - val hash = Hashtbl.create 7 - method get key = - try Hashtbl.find hash :key - with Not_found -> - let data = f key in - Hashtbl.add hash :key :data; - data - method clear = Hashtbl.clear hash - method reget key = - Hashtbl.remove :key hash; - let data = f key in - Hashtbl.add hash :key :data; - data -end |