08-151

To:          J3
From:        Van Snyder
Subject:     Interpretation request concerning specification
             expressions
Date: 2008 April 14

NUMBER: TBD
TITLE: Are circular dependencies between specification expressions
permitted?
KEYWORDS: specification expression
DEFECT TYPE: Erratum? "You idiot! This is already covered!"?
STATUS: J3 consideration in progress

QUESTION:  Is the following specification part standard conforming?

  integer :: A(size(B))
  integer :: B(size(A))

ANSWER: The specification part is not standard conforming.  Edits are
proovided to clarify this.

EDITS:

Before item (7)(b)(i) in Subclause 7.1.6 "Specification Expressions"
insert another item

  "(i-) declared after the specification inquiry,"

SUBMITTED BY: Van Snyder

HISTORY: 08-xxx   m184  Submitted