Browse thread
module type...
[
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-11-12 (16:37) |
From: | Aleksey Nogin <nogin@c...> |
Subject: | Re: [Caml-list] Specifying abstract type in a record |
josh wrote: > OK, Here's what I'm trying to do: > > # type doer = { file_name:string ; actor: ('a -> unit) };; > What exactly are you trying to accomplish? Would something like type 'a doer = { file_name:string ; actor: ('a -> unit) } work for you? -- Aleksey Nogin Home Page: http://nogin.org/ E-Mail: nogin@cs.caltech.edu (office), aleksey@nogin.org (personal) Office: Jorgensen 70, tel: (626) 395-2907