Re: [Ada] Legality checks involving aspect Import

2014-08-01 Thread Mike Stump
On Aug 1, 2014, at 3:16 AM, Arnaud Charlet wrote: > This patch adds some missing legality checks No, GNU English doesn’t have us using legal/illegal unless the motivation is a law of some specific jurisdiction. > q.ads:2:28: imported entities cannot have explicit initialization (RM 8.1 > (24))

[Ada] Legality checks involving aspect Import

2014-08-01 Thread Arnaud Charlet
This patch adds some missing legality checks on uses of aspect Import. These checks were performed properly in the presence of pragmas, but were incomplete when using aspects. Compiling q.ads must yield: q.ads:2:28: imported entities cannot have explicit initialization (RM 8.1 (24)) q.ads:6:24: n