!ASIS Issue #082
!topic Categorization pragmas
!reference  ASIS 95
!from  Robert Dewar 97-09-18
!keywords pragmas categorization
!discussion

Apparently ASIS has completely failed to address the categorization
pragma issue. This seems a serious shortcoming that should be
corrected before standardization.

My concern is that the ASIS specs THEMSELVES, appear not to have paid
any attention to categorization. Note that it would be quite wrong for
an implementor to add, for example, pragma Preelaborate to an existing
Ada spec that did not have one.

Yes, yes, I know, the ASIS standard says an implementor can freely add
pragmas, but that too is a mistake. I do not think you want implementors
adding

	pragma Restrictions (No_Recursion);

to all their ASIS specs and still consider it standard!!!

The RM carefully worries about categorization at the Pure/Preelaborate
level, but it is now recognized that it did not worry sufficiently
about the Remote_Types issue.

ASIS should fully address this issue before standardization.

!resolution  Accept
!date 98-03-26
!Notes

Change 1.1.3.1(b), first bullet, from:

      Adding "with" clauses, pragmas, representation specifications,
      and comments.

to:
      Adding "with" clauses, representation specifications,
      comments, and allowable pragmas.  Allowable pragmas are those
      which do not change the semantics of the interface (e.g., List,
      Optimize, Page).