From: Jerome Vouillon <Jerome.Vouillon@inria.fr>
To: Gerd.Stolpmann@darmstadt.netsurf.de, caml-list@inria.fr
Subject: Re: The option -rectypes
Date: Thu, 25 Nov 1999 23:44:22 +0100 [thread overview]
Message-ID: <19991125234422.11107@pauillac.inria.fr> (raw)
In-Reply-To: <99112402223302.32002@ice>; from Gerd Stolpmann on Wed, Nov 24, 1999 at 01:59:36AM +0100
On Wed, Nov 24, 1999 at 01:59:36AM +0100, Gerd Stolpmann wrote:
> I have some code that compiled in 2.02, but in 2.03 I need the new option
> -rectypes of the compilers.
This is a bug in the occur check. It will be corrected in the next
release.
> - I have thought about the type 'a node extension as 'a. If I apply the
> constraint of "node", the condition must hold that
> ('a node extension as 'a) node extension
> unifies with
> ('a node extension as 'a) node #extension
> Normally, a closed class type does not unify with an open class type,
> and I wonder why this is accepted at all.
The type of self cannot be unified with closed object type: this would
prevent a further extension of the class. But a type such as
#extension can be unified with a closed object type. In particular,
it can always be unified with the same type without "#".
-- Jérôme
prev parent reply other threads:[~1999-11-26 10:00 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-11-24 0:59 Gerd Stolpmann
1999-11-24 10:37 ` Pascal Cuoq
1999-11-24 20:56 ` Xavier Leroy
1999-11-25 10:53 ` Anton Moscal
1999-11-25 17:22 ` Stefan Monnier
1999-11-25 20:51 ` Gerd Stolpmann
1999-11-25 22:44 ` Jerome Vouillon [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=19991125234422.11107@pauillac.inria.fr \
--to=jerome.vouillon@inria.fr \
--cc=Gerd.Stolpmann@darmstadt.netsurf.de \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
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).