From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.3 4.3bsd-beta 6/6/85; site ucbvax.BERKELEY.EDU
Path: utzoo!watmath!clyde!burl!ulysses!ucbvax!info-ada
From: JMUNGLE@USC-ISIF.ARPA (Jerry Mungle)
Newsgroups: net.lang.ada
Subject: Problems with DEC Ada
Message-ID: <8601172138.AA20409@ucbvax.berkeley.edu>
Date: Fri, 17-Jan-86 16:05:27 EST
Article-I.D.: ucbvax.8601172138.AA20409
Posted: Fri Jan 17 16:05:27 1986
Date-Received: Sun, 19-Jan-86 03:52:20 EST
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
List-Id: <comp.lang.ada>


  I've recently begun to suse the DEC Ada compiler, and I've had a problem
with the access types.  Consider the following program:

  generic
	type bucket_range is range <>;
  package x is
	type mrec is array(bucket_range) of integer;
	type map  is access mrec;
  end x;

  with x;
  packagedag  dag is 
	subtype br is integer range 0..6;
	package I love__love_y is new x(br);
	type dag_info is record
	    id : y.map;	-- this is the problem line
	end record;
  end dag;

  If you compile this program, you get the following error from the DEC
Ada compiler:

%ADAC-F-BUGCHECK, Internal Ada compiler error(bugcheck) -- please submit
	a Software Performance Report (SPR)

  Anyone run across this one , and any workarounds??  The declaration of 
the offending access type MUST be inside the record.  Oh yes, we are
running version 1.1 of the compiler, and I compiled the generic as a
separate file in the above example.  This problem prevents the compilation
of several tools in the SIMTEL20 Ada repository.

  Thanks in advance!
-------