From: AdaMagica <christ-usch.grein@t-online.de>
Subject: Re: Question regarding example code in AI12-0140
Date: Sat, 8 Nov 2014 11:20:39 -0800 (PST)
Date: 2014-11-08T11:20:39-08:00 [thread overview]
Message-ID: <5ffa8222-408e-4ba2-b9ae-9bf09f40dfc1@googlegroups.com> (raw)
In-Reply-To: <m3k4da$dut$1@loke.gir.dk>
On Saturday, November 8, 2014 4:58:35 AM UTC+1, Randy Brukardt wrote:
Thank you, Randy, for your explanation. I (perhaps naively) assumed that a type with unknown discriminants, since unconstrained, is just this - an unconstrained type. So where's the problem?
Now I see why some wording is needed: "nothing" definitely *is* different from "unknown".
Christoph
prev parent reply other threads:[~2014-11-08 19:20 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-10-30 15:59 Question regarding example code in AI12-0140 Mark Lorenzen
2014-10-30 16:21 ` Adam Beneschan
2014-10-31 10:11 ` Mark Lorenzen
2014-10-31 19:40 ` AdaMagica
2014-11-01 15:31 ` Brad Moore
2014-11-08 3:58 ` Randy Brukardt
2014-11-08 19:20 ` AdaMagica [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