[
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: | -- (:) |
| 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