From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <weis@pauillac.inria.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.0 required=5.0 tests=none autolearn=disabled 
	version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78])
	by yquem.inria.fr (Postfix) with ESMTP id 86BE0BCB5
	for <caml-list@yquem.inria.fr>; Tue, 22 Aug 2006 19:03:27 +0200 (CEST)
Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35])
	by nez-perce.inria.fr (8.13.6/8.13.6) with ESMTP id k7MH3RlJ020595
	for <caml-list@yquem.inria.fr>; Tue, 22 Aug 2006 19:03:27 +0200
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id TAA16370 for <caml-list@pauillac.inria.fr>; Tue, 22 Aug 2006 19:03:26 +0200 (MET DST)
Received: from mail.barettadeit.com (h213-255-109-130.albacom.net [213.255.109.130] (may be forged))
	by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id k7MH3LXt019247
	for <caml-list@inria.fr>; Tue, 22 Aug 2006 19:03:26 +0200
Received: from [10.0.0.10] (alex.barettalocal.com [10.0.0.10])
	by mail.barettadeit.com (Postfix) with ESMTP id 656EDD0A23
	for <caml-list@inria.fr>; Tue, 22 Aug 2006 19:06:36 +0200 (CEST)
Message-ID: <44EB38CA.8080800@studio.baretta.com>
Date: Tue, 22 Aug 2006 19:03:06 +0200
From: Alessandro Baretta <a.baretta@studio.baretta.com>
User-Agent: Thunderbird 1.5.0.4 (X11/20060713)
MIME-Version: 1.0
To: Ocaml <caml-list@inria.fr>
Subject: 'a & string unification issue
Content-Type: text/plain; charset=ISO-8859-15; format=flowed
Content-Transfer-Encoding: 7bit
X-Miltered: at nez-perce with ID 44EB38DF.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)!
X-Miltered: at concorde with ID 44EB38D9.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)!
X-Spam: no; 0.00; baretta:01 baretta:01 unification:01 ocaml:01 val:01 unify:01 val:01 dsn:98 dsn:98 ingegneria:98 headquarters:98 typing:01 int:01 int:01 match:02 

Hi guys. I haven't been around for a while. I hope everything's been well for 
everybody these past six months or so.

I'm back to my usual tuareg-mode session, and I'm back to my usual typing 
trouble. Does the following error message, coming from a fresh installation of 
ocaml 3.09.2, make any sense.

Values do not match:
   val init :
     [< `Odbc_driver of
          [< `Default
           | `Options of
               [< `DSN of string ] * [< `User of string ] *
               [< `Password of string ] ]
      | `Pgsql_driver of
          [< `Default
           | `Options of
               [< `Client_encoding of string

(* The problem seems to be here: shouldn't 'x & string unify trivially *)
(* for any type variable 'x? *)
                | `DB of 'a & string
                | `Debug_log of 'b & string
                | `Debug_options of 'c & string
                | `Host of 'd & string
                | `Hostaddr of 'e & string
                | `Password of 'f & string
                | `Port of 'g & int
                | `SSL of 'h & string
                | `User of 'i & string ]
               list
           | `String of string
           > `Options ] ] ->
     [> `Odbc_driver of Odbc_driver.pipeline
      | `Pgsql_driver of Pgsql_driver.pipeline ]
is not included in
   val init :
     [< `Odbc_driver of
          [< `Default
           | `Options of
               [ `DSN of string ] * [ `User of string ] *
               [ `Password of string ] ]
      | `Pgsql_driver of
          [< `Default
           | `Options of
               [< `Client_encoding of string
                | `DB of string
                | `Debug_log of string
                | `Debug_options of string
                | `Host of string
                | `Hostaddr of string
                | `Password of string
                | `Port of int
                | `SSL of string
                | `User of string ]
               list
           | `String of string ] ] ->
     [> `Odbc_driver of Odbc_driver.pipeline
      | `Pgsql_driver of Pgsql_driver.pipeline ]

-- 
*********************************************************************

Ing. Alessandro Baretta

Studio Baretta
http://studio.baretta.com/

Consulenza Tecnologica e Ingegneria Industriale
Technological Consulting and Industrial Engineering

Headquarters
tel. +39 02 370 111 55
fax. +39 02 370 111 54

Lab
tel. +39 02 9880 271
fax. +39 02 9828 0296