[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2006-08-22 (17:03) |
From: | Alessandro Baretta <a.baretta@s...> |
Subject: | 'a & string unification issue |
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