From: Simon Wright <simon.j.wright@mac.com>
Subject: Re: Discriminant ans tagged type ?!
Date: Fri, 21 Mar 2008 16:46:43 +0000
Date: 2008-03-21T16:46:43+00:00 [thread overview]
Message-ID: <m2fxukauto.fsf@mac.com> (raw)
In-Reply-To: 641eca48-f0c9-4ccd-a998-2de9a727bacb@u10g2000prn.googlegroups.com
Adam Beneschan <adam@irvine.com> writes:
> type B (Ell : Natural) is new A(L) with record
A(L => Ell)
> T : String (1 .. Ell);
> end record;
next prev parent reply other threads:[~2008-03-21 16:46 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-03-18 15:22 Discriminant ans tagged type ?! Tony
2008-03-18 15:54 ` Adam Beneschan
2008-03-18 19:54 ` Adam Beneschan
2008-03-21 8:18 ` Tony
2008-03-21 15:25 ` Adam Beneschan
2008-03-21 16:46 ` Simon Wright [this message]
2008-03-22 9:05 ` Tony
2008-04-04 15:40 ` Tom Grosman
2008-03-18 18:40 ` Robert A Duff
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox