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-Thread: 103376,9e03b5de1f7825a5 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news3.google.com!news.glorb.com!transit.nntp.hccnet.nl!transit1.nntp.hccnet.nl!border2.nntp.ams.giganews.com!nntp.giganews.com!pe2.news.blueyonder.co.uk!blueyonder!pe1.news.blueyonder.co.uk!blueyonder!news-out.ntli.net!newsrout1-gui.ntli.net!ntli.net!newspeer1-win.ntli.net!newsfe3-gui.ntli.net.POSTED!53ab2750!not-for-mail From: "Dr. Adrian Wrigley" Subject: Re: discriminant type User-Agent: Pan/0.14.2 (This is not a psychotic episode. It's a cleansing moment of clarity.) Message-Id: Newsgroups: comp.lang.ada References: <1126644305.724460.155300@g47g2000cwa.googlegroups.com> <8764t4hew0.fsf@ludovic-brenta.org> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit Date: Wed, 14 Sep 2005 20:08:15 GMT NNTP-Posting-Host: 80.4.127.115 X-Complaints-To: http://www.ntlworld.com/netreport X-Trace: newsfe3-gui.ntli.net 1126728495 80.4.127.115 (Wed, 14 Sep 2005 21:08:15 BST) NNTP-Posting-Date: Wed, 14 Sep 2005 21:08:15 BST Organization: ntl Cablemodem News Service Xref: g2news1.google.com comp.lang.ada:4674 Date: 2005-09-14T20:08:15+00:00 List-Id: On Tue, 13 Sep 2005 22:49:35 +0200, Ludovic Brenta wrote: > diff -u: > @@ -1,3 +1,3 @@ > type T_Matrix (Col_Size, Row_Size : Integer) is record > - Vec : T_Vector (Col_Size * Row_Size); > + Vec : T_Vector (1 .. Col_Size * Row_Size); > end record; I may have missed something here, but doesn't the discriminant have to appear alone in a constraint? gcc -c blob.adb 6:25: discriminant in constraint must appear alone 6:36: discriminant in constraint must appear alone -- Adrian