From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <fabrice.marchant@orange.fr>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.3 required=5.0 tests=AWL autolearn=disabled 
	version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by yquem.inria.fr (Postfix) with ESMTP id CA8D6BBAF
	for <caml-list@yquem.inria.fr>; Mon, 26 May 2008 21:15:22 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AtwDAI6pOkhQDPJgZGdsb2JhbACBVZBYGgMEBAcQBpUDhG0
X-IronPort-AV: E=Sophos;i="4.27,543,1204498800"; 
   d="scan'208";a="11138462"
Received: from smtp27.orange.fr ([80.12.242.96])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 26 May 2008 21:15:03 +0200
Received: by mwinf2727.orange.fr (SMTP Server, from userid 1003)
	id 75BE41C000A4; Mon, 26 May 2008 21:15:03 +0200 (CEST)
Received: from localhost.localdomain (Mix-Lyon-303-2-86.w193-248.abo.wanadoo.fr [193.248.44.86])
	by mwinf2727.orange.fr (SMTP Server) with ESMTP id 9863E1C00095
	for <caml-list@yquem.inria.fr>; Mon, 26 May 2008 21:15:02 +0200 (CEST)
X-ME-UUID: 20080526191502624.9863E1C00095@mwinf2727.orange.fr
Date: Mon, 26 May 2008 19:21:57 +0200
From: Fabrice Marchant <fabrice.marchant@orange.fr>
To: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] Question about type unification
Message-ID: <20080526192157.3e75c121@orange.fr>
In-Reply-To: <20080526122204.GA6727@annexia.org>
References: <20080526122204.GA6727@annexia.org>
X-Mailer: Claws Mail 3.2.0 (GTK+ 2.12.9; i486-pc-linux-gnu)
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
X-Spam: no; 0.00; unification:01 3.0:98 wrote:01 caml-list:01 string:02 string:02 float:03 unit:03 definition:07 fabrice:08 fabrice:08 odd:09 maybe:10 interesting:12 0100:12 

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