Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!ucbvax!ucsd!orion.cf.uci.edu!uci-ics!ics.uci.edu!milne
From: milne@ics.uci.edu (Alastair Milne)
Newsgroups: comp.lang.pascal
Subject: Re: An ISO Pascal question...
Keywords: ISO PASCAL SCOPE DECLARATION
Message-ID: <9236@paris.ics.uci.edu>
Date: 15 Mar 89 06:42:13 GMT
References: <18654@adm.BRL.MIL> <2824@kalliope.rice.edu>
Sender: news@paris.ics.uci.edu
Reply-To: Alastair Milne <milne%ics.uci.edu@orion.cf.uci.edu>
Distribution: usa
Organization: Educational Technology Center, Dept. of ICS, UC Irvine
Lines: 19

mootaz@titan.rice.edu (Elmootazbellah Nabil Elnozahy) writes:
>... can anybody familiar with the ISO standard tell me if it is legal or not:
>
>Type
>	T = real;
>	R = Record
>		T: integer;
>		D: T;
>	    end;

    I am interested in hearing exactly what ISO says about this.  I think the
    question is: at exactly what point in the declarations does the type R
    become defined (at some point within it, or only after its "end"?); and 
    at what point do its components become defined?  If, for instance, 
    the field "T" is not yet formally defined when "D" is declared, there is 
    nothing wrong with this declaration; but if it is, then within the scope
    of the record, "T" doesn't name a type.

    Alastair Milne