diff options
| author | Pierre-Marie Pédrot | 2013-11-23 18:58:02 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2013-11-24 00:04:10 +0100 |
| commit | a000b714412e4b1f48bf3ffe1479cf6589874b47 (patch) | |
| tree | 5c15ee942d26ff785fc993ac3192170406d1ea02 /lib/hashcons.ml | |
| parent | c022a4a8faa9c8c7deb28744c779847d621d2b0c (diff) | |
Tweaking arity & allocation of some basic functions.
Diffstat (limited to 'lib/hashcons.ml')
| -rw-r--r-- | lib/hashcons.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/hashcons.ml b/lib/hashcons.ml index 3a8a86e3ee..72381ae2bd 100644 --- a/lib/hashcons.ml +++ b/lib/hashcons.ml @@ -79,7 +79,9 @@ module Make (X : HashconsedType) = * sub-hcons functions. *) (* For non-recursive types it is quite easy. *) -let simple_hcons h u = h () u +let simple_hcons h u = + let h = h () in + fun x -> h u x (* For a recursive type T, we write the module of sig Comp with u equals * to (T -> T) * u0 |