VHDL Issue Number:      1108
Classification:         Language Definition Problem
Language Version:       VHDL-93
Summary:                The subtype of a deferred constant may not always
                        be deduced during analysis time.
Related Issues:         0136, 0059
Relevant LRM Sections:  4.3.1.1, 7.4
Key Words and Phrases:  Deferred Constants, Unconstrained Arrays, Static
Current Status:         Submitted
1076-1993 Disposition:  N/A
Disposition Rationale:  N/A
Superseded By:          N/A
-----------------------
Date Submitted:         1989/06/21
Author of Submission:   Rod Farrow (edited by Bill Paulsen)
Author's Affiliation:   Vantage Analysis Systems, Inc.
Author's Post Address:  42840 Christy St., Suite 201
                        Fremont, CA   94538
Author's Phone Number:  (415) 659-0901
Author's Fax Number:    N/A
Author's Net Address:   N/A
-----------------------
Date Analyzed:          TBD
Author of Analysis:     TBD
Revision Number:        $Revision: 1.8 $
Date Last Revised:      $Date: 1995/05/15 21:26:37 $


Description of Problem
----------------------
(This IR supersedes IR 0136.)

The type of constant whose specified type is an unconstrained array 
is actually a constrained array whose index constraint is determined from 
the value of the initializing expression.  Variables and files, which 
have no required initializing expresson, are not allowed to be unconstrained 
arrays.  However, the type of a deferred constant may not be deduced from 
its initializing value because that constant is not known until the package 
body is processed.  


Proposed Resolution
-------------------
It should be illegal for a deferred constant to be of an unconstrained subtype.


VASG-ISAC Analysis & Rationale
------------------------------
TBD


VASG-ISAC Recommendation for IEEE Std 1076-1993
-----------------------------------------------
TBD


VASG-ISAC Recommendation for Future Revisions
---------------------------------------------
TBD