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.3 required=5.0 tests=BAYES_00,INVALID_MSGID, MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,96eed9f3fe0e5887,start X-Google-Attributes: gid103376,public From: dennison@telepath.com Subject: Yet another gnat/TFFE difference Date: 1999/05/22 Message-ID: <7i4vjh$n4t$1@nnrp1.deja.com>#1/1 X-Deja-AN: 480674705 X-Http-Proxy: 1.0 x33.deja.com:80 (Squid/1.1.22) for client 204.48.27.130 Organization: Deja.com - Share what you know. Learn what you don't. X-Article-Creation-Date: Sat May 22 01:00:34 1999 GMT Newsgroups: comp.lang.ada X-Http-User-Agent: Mozilla/4.6 [en] (WinNT; I) Date: 1999-05-22T00:00:00+00:00 List-Id: I have found one last difference between Gnat and Tucker's favorite front end (both Aonix and GreenHills variants). This one has to do with array slicing and type conversions. Assume I have the following code: type T1 is array (1..2250) of Float; O1 : T1; type T2 is array (1..5) of Float; O2 : T2: ... O2(1..2) := T2 (O1 (2..3)); Gnat has no problem with this, which makes sense as the slices are the same size and the base type of the arrays are the same. TFFE compilers blow up with a constrataint error here. I'm gessing that is because objects of type T2 have to be 5 elements long, but my slice is 2 elements. I have two questions here: First off, which vendor gets the bug report? :-) Secondly, does anyone have any good ideas about how to make the TFFE compilers happy? It doesn't make sense that I should have to make two separate assignments to do this. I know making T1 a subtype of T2 would work. But in the environment this came up in that is not a feasable solution (T2 is actually sized based on generic-derived parameters that are only known at runtime). -- T.E.D. --== Sent via Deja.com http://www.deja.com/ ==-- ---Share what you know. Learn what you don't.---