You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 170 Reporter: administrator Status: closed Resolution: fixed Priority: normal Severity: minor Category: ~DO NOT USE (was: OCaml general)
Bug description
Hi,
Thank you for your message to the Caml mailing list.
However your message seems to be a bug report; hence I send it to the
relevant mailing list
(not pauillac). It generated a list of matches, each entry being of the form:
199607/msg00024:Re: Label Names Space - philosophy or implementation?
26: guarantees the principal type property. Apart from this, I agree it's
54: addition. Both Caml V3.1 and SML/NJ allow overloading on operators and
65: is given a type that says "I accept as arguments all records with a
68: and preserves the principal type property. (The typing of objects in
71: The challenge is on the compilation side. With conventional records,
73: memory blocks that represent the records. With record polymorphism,
where "199607/msg00024" and the line numbers below are all links. The line
number links work, but the "199607/msg00024" does not. If you change the
server address from "caml.inria.fr" to "pauillac.inria.fr" in the link URL it
points to the right place, though.
--
Frank Atanassow, Dept. of Computer Science, Utrecht University
Padualaan 14, PO Box 80.089, 3508 TB Utrecht, Netherlands
Tel +31 (030) 253-1012, Fax +31 (030) 251-3791
The text was updated successfully, but these errors were encountered:
Original bug ID: 170
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)
Bug description
Hi,
Thank you for your message to the Caml mailing list.
However your message seems to be a bug report; hence I send it to the
relevant mailing list
caml-bugs@inria.fr
Thank again for your interest in Caml.
Pierre Weis
INRIA, Projet Cristal, Pierre.Weis@inria.fr, http://cristal.inria.fr/~weis/
The text was updated successfully, but these errors were encountered: