From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Freezing query
Date: Fri, 31 Jan 2014 17:02:35 -0600
Date: 2014-01-31T17:02:35-06:00 [thread overview]
Message-ID: <lcha2c$ts0$1@loke.gir.dk> (raw)
In-Reply-To: lylhxx2e9f.fsf@pushface.org
"Simon Wright" <simon@pushface.org> wrote in message
news:lylhxx2e9f.fsf@pushface.org...
> adambeneschan@gmail.com writes:
...
> The very latest comment does address the question. And I was wrong (but
> still puzzled by the apparent conflict between 13.14(7) and (7.b): is it
> the case that
>
> type W is new U with private;
>
> is not a record extension? I guess that's it).
Yes, that's it. That's why 7.b is a Ramification - it's "obvious" from other
rules, but the AARM mentions it because a causal reader might have the wrong
impression. As in this case! :-)
Randy.
prev parent reply other threads:[~2014-01-31 23:02 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-01-30 21:49 Freezing query Simon Wright
2014-01-30 23:23 ` adambeneschan
2014-01-31 0:20 ` Simon Wright
2014-01-31 23:02 ` Randy Brukardt [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox