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/

Alan Schmitt writes:

This archiving system comes with a pretty good search engine:
http://pauillac.inria.fr/bin/wilma/caml-list

Thanks, I didn't know about this. It's a big improvement over the other
engine.

Here is Xavier's article on approaches to record labels, which I mentioned but
couldn't find earlier:

http://pauillac.inria.fr/caml/archives/199607/msg00024.html

BTW, there is a slight problem with the search engine output. When I searched
for the article above, I accessed the engine as

http://caml.inria.fr/bin/wilma/caml-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