From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: Discriminant name must be alone
Date: Mon, 23 Dec 2002 14:00:23 GMT
Date: 2002-12-23T14:00:23+00:00 [thread overview]
Message-ID: <wccel88hm2w.fsf@shell01.TheWorld.com> (raw)
In-Reply-To: au6rj7$4sp8p$1@ID-77047.news.dfncis.de
"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
> There is a third answer: "user-defined constructors".
What do you mean by "user-defined constructors"? How do they differ
from functions? And how do they allow nested constraints to depend
upon arbitrary expressions involving discriminants?
- Bob
next prev parent reply other threads:[~2002-12-23 14:00 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-12-21 19:22 Discriminant name must be alone Michal Nowak
2002-12-21 23:08 ` Robert A Duff
2002-12-23 11:21 ` Dmitry A. Kazakov
2002-12-23 14:00 ` Robert A Duff [this message]
2002-12-24 11:16 ` Dmitry A. Kazakov
2002-12-25 14:29 ` Michal Nowak
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox