* Type system difference between 3.08.4 and 3.09.0
@ 2005-11-09 16:17 Alessandro Baretta
0 siblings, 0 replies; only message in thread
From: Alessandro Baretta @ 2005-11-09 16:17 UTC (permalink / raw)
To: Ocaml
I am taken aback by a typing error I don't understand, which did not occur with
3.08.4.
File "as_xcaml/xdbs/xdbs_lib/xdbs_sql_translator.ml", line 36, characters 17-30:
Constraints are not satisfied in this type.
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.
Alex
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2005-11-09 16:18 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2005-11-09 16:17 Type system difference between 3.08.4 and 3.09.0 Alessandro Baretta
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).