This package contains a patch to Ada-ASSURED version 3.4.
This brings this to version 3.4.1.

This patch fixes a problem with parsing Ada95 programs
containing type specifications with discriminant specifications
that use access-typed parameters.

For example, the previous version could not parse line 3 of
the following code:

    1:      package Interface is
    2:
    3:          type Template (Id : access String) is new Instance
    4:              with record  
    5:               
    6:                  Server : Integer;  
    7:              
    8:              end record;
    9:
    10:     end Interface;


This patch fixes this problem for aa95.  Similarly, the
tag generation program aa95.tags has also been fixed.
The Ada83 versions are unaffected.

To install this patch, do the following:

1. Uncompress and untar the patch file:

   cd /tmp
   uncompress aa3.4.1.tar.Z
   tar xvf aa3.4.1.tar

This will create the following files in your current directory:

   aa95		-- The new executable
   aa95.tags	-- The new executable for tags generation
   grammar.html	-- Updated documentation
   README.txt	-- This file

2. The old versions of the executables aa95 and aa95.tags
are stored in the Ada-ASSURED "bin" directory.  Change
your working directory to this directory and move the old
executables to the side:

   mv aa95 aa95-3.4
   mv aa95.tags aa95.tags-3.4

3. Copy the new executables to this directory:

   mv /tmp/aa95 .
   mv /tmp/aa95.tags .

4. Copy the grammar.html file to the Ada-ASSURED 
documentation directory.  If you have not changed the
working directory, then do this with the following
command:

   mv /tmp/grammar.html ../doc/html/aadoc

This completes the patch procedure.


As usual, if there are any problems, please contact us
at support@grammatech.com, or by calling 607 273-7340.