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: | -- (:) |
| 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