Re: Controlled types in local generics?

[Gautier <Gautier.deMontmollin@maths.unine.ch>]

> Well perhaps, but really it would serve no purpose except to
> confirm that the error message is correct. Perhaps you would
> be more willing to believe it if you read it in the RM than
> when GNAT tells you clearly :-)

People need strong religious references.

A message like:
  `This thing should be in that place'

sound less serious than words full of wisdom like
  `Ada RM 3.18, verse 5 (2), alinea 3: the construct
   named such_name (7.15) is allowed in the bla bla bla
   part of the so_and_so declaration, only if the
   previously named bla bla bla part is placed in an upper
   level compared to the level of the structure
   that encloses the imbricated substructure, under
   the condition that, firstly, bla bla bla... ... ...'

A bright demonstration is made in the `Life of Brian'
(the scene with the prophets)...

-- 
Gautier

_____\\________________\_______\_________
http://members.xoom.com/gdemont/gsoft.htm