English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Type system difference between 3.08.4 and 3.09.0
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2005-11-09 (16:18)
From: Alessandro Baretta <a.baretta@b...>
Subject: Type system difference between 3.08.4 and 3.09.0
I am taken aback by a typing error I don't understand, which did not occur with 

File "as_xcaml/xdbs/xdbs_lib/xdbs_sql_translator.ml", line 36, characters 17-30:
Constraints are not satisfied in this type.
Xdbs_sql_extensions.xdbs_ext Pxp_document.node
should be an instance of
('a Pxp_document.node #Pxp_document.extension as 'a) Pxp_document.node
make[1]: *** [as_xcaml/xdbs/xdbs_lib/xdbs_sql_translator.cmo] Error 2

I am trying to decypher what's going on. It would help me a lot to know if and 
what changes have been made in 3.09.0 to the typing of class expressions.