Version française
Home     About     Download     Resources     Contact us    
Browse thread
module type...
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ 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