Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!ucbvax!decwrl!sun!pitstop!sundc!seismo!uunet!mcvax!hp4nl!ruuinf!piet
From: piet@ruuinf (Piet van Oostrum)
Newsgroups: comp.lang.pascal
Subject: Re: An ISO Pascal question...
Message-ID: <1195@ruuinf.UUCP>
Date: 14 Mar 89 13:23:03 GMT
References: <18654@adm.BRL.MIL> <2824@kalliope.rice.edu>
Sender: piet@ruuinf.UUCP
Reply-To: piet@ruuinf (Piet van Oostrum)
Organization: Dept of Computer Science, University of Utrecht, Holland
Lines: 30
In-reply-to: mootaz@titan.rice.edu (Elmootazbellah Nabil Elnozahy)

In article <2824@kalliope.rice.edu>, mootaz@titan (Elmootazbellah Nabil Elnozahy) writes:
 `Given the following piece of code, 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;
 `
 `	B = Record
 `		T: integer;
 `		C: Record
 `			D: T;
 `		   end;
 `	     end;
 `
 `In particular, is field D in record R of type T or is it an illegal definition?
 `Similarly for field D in record C. I am not interested in what a particular
 `implementation does, just what the standard says about it.
 `

Legal, because field names are in a different ``namespace'' than other
identifiers. In fact each record type has its own namespace.
-- 
Piet van Oostrum, Dept of Computer Science, University of Utrecht
Padualaan 14, P.O. Box 80.089, 3508 TB Utrecht, The Netherlands
Telephone: +31-30-531806. piet@cs.ruu.nl (mcvax!hp4nl!ruuinf!piet)