blob: 89940d2f1dccf7299c263534278d9d4f044154da (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
(*************************************************************************)
(* *)
(* Objective Caml LablTk library *)
(* *)
(* Jacques Garrigue, Kyoto University RIMS *)
(* *)
(* Copyright 1999 Institut National de Recherche en Informatique et *)
(* en Automatique and Kyoto University. All rights reserved. *)
(* This file is distributed under the terms of the GNU Library *)
(* General Public License. *)
(* *)
(*************************************************************************)
(* $Id$ *)
type ('a, 'b) assoc_list =
Nil
| Cons of 'a * 'b * ('a, 'b) assoc_list
let rec assq :key = function
Nil -> raise Not_found
| Cons (a, b, l) ->
if key == a then b else assq :key l
let fast fun:f =
let memo = ref Nil in
fun key ->
try assq :key !memo
with Not_found ->
let data = f key in
memo := Cons(key, data, !memo);
data
|
