LRM93: useless restrictions on signal attributes

The signal attributes of kind function (event, active, ...) require a static prefix name. This is a useless restriction as these attributes are available from a function.

So you can always write:

   function has_event(signal s : bit) return boolean is
   begin
     return s'event;
   end has_event;

   ... has_event (bv(i)) ...

if you want to write:

   ... bv(i)'event ...

Proposed solution:
remove these restrictions.

Edited by Patrick Lehmann
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information