Browse thread
Type constraints
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2004-12-07 (17:44) |
From: | Damien Doligez <damien.doligez@i...> |
Subject: | Re: [Caml-list] Type constraints |
On 7 Dec 2004, at 15:57, Andreas Rossberg wrote: > Is this really a counter-example? I don't see any problem with making > it polymorphic - it evaluates to ref, and ref can happily be > polymorphic. Yes, well I simplified it a bit too much. Try this instead: let module M = struct let v = ref [] end in M.v;; -- Damien