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

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Richard Jones <rich@a...>
Subject: Re: [Caml-list] Re: Void type?
On Sun, Jul 29, 2007 at 02:58:23PM +0200, Arnaud Spiwack wrote:
> Here is what you can do with void1 and not with void2 :
> type void1 = { v: 'a. 'a };;
> # let void1_elim x = x.v;;
> val void1_elim : void1 -> 'a = <fun>

Maybe I should rephrase the question then.  What use is this function?
The only Google searches for void type and the "elimination principle"
all seem to point back to this very thread.

Rich.

-- 
Richard Jones
Red Hat