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

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Fabrice Marchant <fabrice.marchant@o...>
Subject: Re: [Caml-list] Question about type unification
On Mon, 26 May 2008 13:22:04 +0100
Richard Jones <rich@annexia.org> wrote:

> 
> With this definition:
> 
>   type 'a t = float
> 
> Why is this allowed?
> 
>   # ((3.0 : unit t) : string t) ;;
>   - : string t = 3.

  Never thought to write such odd things. Maybe is there some interesting use ?

Fabrice