From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,d534ed04fa87be8b
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-12-23 06:00:47 PST
Newsgroups: comp.lang.ada
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!cyclone.bc.net!newspump.monmouth.com!newspeer.monmouth.com!newshosting.com!news-xfer1.atl.newshosting.com!uunet!dca.uu.net!ash.uu.net!world!news
From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: Discriminant name must be alone
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2
Sender: news@world.std.com (Mr Usenet Himself)
Message-ID: <wccel88hm2w.fsf@shell01.TheWorld.com>
Date: Mon, 23 Dec 2002 14:00:23 GMT
Content-Type: text/plain; charset=us-ascii
References: <mailman.1040497983.21337.comp.lang.ada@ada.eu.org>
 <wccadiz0y2j.fsf@shell01.TheWorld.com>
 <au6rj7$4sp8p$1@ID-77047.news.dfncis.de>
NNTP-Posting-Host: shell01.theworld.com
Mime-Version: 1.0
Organization: The World Public Access UNIX, Brookline, MA
Xref: archiver1.google.com comp.lang.ada:32231
Date: 2002-12-23T14:00:23+00:00
List-Id: <comp.lang.ada>

"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