From J.L.Schonfelder@liverpool.ac.uk Fri Mar 18 11:25:15 1994 Received: from mailhub.liverpool.ac.uk (mail.liv.ac.uk) by dkuug.dk with SMTP id AA04278 (5.65c8/IDA-1.4.4j for ); Fri, 18 Mar 1994 12:25:13 +0100 Received: from liverpool.ac.uk by mailhub.liverpool.ac.uk with SMTP (PP) id <23577-0@mailhub.liverpool.ac.uk>; Fri, 18 Mar 1994 11:25:16 +0000 From: "Dr.J.L.Schonfelder" Message-Id: <9403181125.AA21113@uxh.liv.ac.uk> Subject: postscript constructor enhancements To: SC22WG5@dkuug.dk (SC22/WG5 members) Date: Fri, 18 Mar 1994 11:25:15 +0000 (GMT) X-Mailer: ELM [version 2.4 PL23] Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Content-Length: 60093 X-Charset: ASCII X-Char-Esc: 29 ----------------------------------------------------------------------- %-12345X@PJL ENTER LANGUAGE = POSTSCRIPT %!PS-Adobe /wpdict 120 dict def wpdict begin /bdef {bind def} bind def /bflg false def /Bfont 0 def /bon false def /psz 0 def /_S /show load def /_t {0 rmoveto} bdef /_pixelsnap {transform .25 sub round .25 add exch .25 sub round .25 add exch itransform } bdef /_pixeldsnap { dtransform round exch round exch idtransform } bdef /_lt {_pixelsnap lineto} bdef /_rlt {_pixeldsnap rlineto} bdef /_mt {_pixelsnap moveto} bdef /_rmt {_pixeldsnap rmoveto} bdef /bshow {gsave psz 30 div 0 _rmt dup show grestore show} bdef /DUx 0 def /DUy 0 def /hscl 0 def /M {_mt 2 mul -2 2 { -2 roll 0 _rmt _S } for } bdef /makeoutl { dup /OutlineFlag known not { dup dup length 2 add dict begin {1 index /FID ne { def }{ pop pop } ifelse } forall /UniqueID known {/UniqueID UniqueID 10000 add def} if /PaintType PaintType 0 eq { 2 }{ PaintType } ifelse def /StrokeWidth 15 def /OutlineFlag true def /OutlineFont currentdict end definefont } if } bdef /nbuff 50 string def /orntsv 0 def /plen 0 def /pwid 0 def /picstr 1 string def /WPencoding StandardEncoding 256 array copy def 0 [ 127/Aacute/Acircumflex/Adieresis/Agrave/Aring/Atilde/Ccedilla /Delta/Eacute/Ecircumflex/Edieresis/Egrave/Eth/Gamma/Iacute /Icircumflex/Idieresis/Igrave/Lambda/Ntilde/Oacute /Ocircumflex/Odieresis/Ograve/Omega/Otilde/Phi/Pi/Psi /Scaron/Sigma/TeXtext32/Theta/Thorn 209/Uacute/Ucircumflex/Udieresis/Ugrave/Upsilon/Xi/Yacute /Ydieresis/Zcaron/aacute/acircumflex/adieresis/agrave /aring/atilde/brokenbar 228/ccedilla/copyright/degree/divide 236/dotlessj/eacute/ecircumflex/edieresis/egrave 242/eth/ff/ffi 246/ffl/iacute 252/icircumflex/idieresis/igrave/logicalnot 1/minus/mu/multiply/ntilde/oacute/ocircumflex/odieresis /ograve/onehalf/onequarter/onesuperior/otilde/plusminus /registered/scaron/thorn/threequarters/threesuperior /trademark/twosuperior/uacute/ucircumflex/udieresis /ugrave/yacute/ydieresis/zcaron ] { dup type /nametype eq { WPencoding 2 index 2 index put pop 1 add } { exch pop } ifelse } forall pop /reencode { dup FontDirectory exch known { findfont } { dup nbuff cvs dup length 1 sub get 82 eq {dup nbuff cvs dup length 1 sub 0 exch getinterval findfont begin currentdict dup length dict begin { 1 index /FID ne {def} {pop pop} ifelse } forall /FontName exch def /Encoding WPencoding def currentdict dup end end /FontName get exch definefont } { findfont } ifelse } ifelse } bdef /WPDLencoding StandardEncoding 256 array copy def 0 [ 127 /SA420000/SD630000/SF010000/SF020000/SF030000 /SF040000/SF050000/SF060000/SF070000/SF080000/SF090000 /SF100000/SF110000/SF140000/SF150000/SF160000/SF190000 /SF200000/SF210000/SF220000/SF230000/SF240000/SF250000/SF260000 /SF270000/SF280000/SF360000/SF370000/SF380000/SF390000/SF400000 /SF410000/SF420000/SF430000 209 /SF440000/SF450000/SF460000/SF470000/SF480000 /SF490000/SF500000/SF510000/SF520000/SF530000/SF540000 /SF570000/SF580000/SF590000/SF600000/SF610000 228 /SM570001/SM590000/SM600000/SM630000 236 /SM680000/SM690000/SM700000/SM750000/SM750002 242 /SM770000/SM790000/SP320000 246 /SS000000/SS010000 252 /SS260000/SS270000/SV040000/apostrophereverse 1/arrowboth/arrowdown/arrowleft/arrowright/arrowup/club /deutschmark/diamond/diamondopen/exclamdbl/female /fiveeighths/franc/heart/male/musicalnote/musicalnotedbl /napostrophe/nsuperior/oneeighths/seveneighths/spade /threeeights/underscoredbl/SM760000 ] { dup type /nametype eq { WPDLencoding 2 index 2 index put pop 1 add } { exch pop } ifelse } forall pop /reencodeL { dup FontDirectory exch known { findfont } { dup nbuff cvs dup length 1 sub get 76 eq { dup nbuff cvs dup length 1 sub 0 exch getinterval findfont begin currentdict dup length dict begin { 1 index /FID ne {def} {pop pop} ifelse } forall /FontName exch def /Encoding WPDLencoding def currentdict dup end end /FontName get exch definefont } { findfont } ifelse } ifelse } bdef /ron false def /sflg false def /slan 0 def /sp 32 def /sshow { save exch gsave psz 20 div dup neg _rmt dup show grestore dup save exch Bfont setfont 1 setgray show restore currentfont makeoutl setfont show currentpoint 3 -1 roll restore _mt } bdef /Sx 0 def /Sy 0 def /Ux 0 def /Uy 0 def /W /widthshow load def /_B {/bflg true def sflg not {/_S /bshow load def /bon true def} if } bdef /_b {/bflg false def bon {/_S /show load def /bon false def} if } bdef /_bd {save} bdef /_bp {save 2 setmiterlimit .06 .06 scale 0 0 _mt} bdef /_ccprocs {/proc2 exch cvlit def /proc1 exch cvlit def /newproc proc1 length proc2 length add array def newproc 0 proc1 putinterval newproc proc1 length proc2 putinterval newproc cvx } def /_clr {3 {255 div 3 1 roll} repeat ron {6 3 roll pop pop pop} {setrgbcolor} ifelse } bdef /_cp /closepath load def /_cw {stroke initclip _mt 0 2 index _rlt 0 _rlt 0 exch neg _rlt clip newpath } bdef /_d /setdash load def /_DU {currentpoint /DUy exch def /DUx exch def} bdef /_du {gsave save 8 setlinewidth currentpoint -30 add _mt DUx DUy -30 add _lt stroke restore 8 setlinewidth currentpoint -50 add _mt DUx DUy -50 add _lt stroke grestore } bdef /_ed {restore} bdef /_ep {restore showpage 0 0 _mt} bdef /_f /eofill load def /_ff { exch reencode exch 3 div dup /psz exch def scalefont dup /Bfont exch def setfont } bdef /_ffs { /slan exch 10 div def /hscl exch 1000 div def /psz exch 3 div def [ psz hscl mul 0 slan dup sin exch cos div psz mul psz 0 0 ] exch reencode exch makefont dup /Bfont exch def setfont } bdef /_g /setgray load def /_gs {neg 100 add 100 div setgray} bdef /_i {gsave dup /picstr exch 7 add 8 idiv string def 3 1 roll translate dup 1 scale dup 1 1 [5 -1 roll 0 0 1 0 0] {currentfile picstr readhexstring pop} image grestore } bdef /_is {save 4 1 roll dup /picstr exch 7 add 8 idiv string def 3 1 roll translate dup 1 scale dup 1 1 [5 -1 roll 0 0 1 0 0] {currentfile picstr readhexstring pop} image restore } bdef /_ie {1 eq { {1 exch sub} currenttransfer _ccprocs settransfer} if /_isx exch def /_isy exch def _isx mul exch _isy mul translate add 2 div /_txc exch def add 2 div /_tyc exch def _txc _isx mul _tyc _isy mul translate 360 exch sub rotate 1 eq { _isx neg _isy scale } { _isx _isy scale } ifelse _txc neg _tyc neg translate } bdef /_irms {save 12 1 roll 1 eq {{1 exch sub} currenttransfer _ccprocs settransfer} if /picstr exch string def translate 2 index 6 index sub 2 div 2 index 6 index sub 2 div neg translate 5 index 5 index 2 div neg exch 2 div exch 2 copy neg exch neg exch 5 2 roll translate 360 exch sub rotate 3 index 3 index 7 index div exch 8 index div exch scale translate pop pop 2 index 2 index scale 3 index 0 eq { [ 3 index 0 0 5 index neg 0 0 ] } { 3 index 1 eq { [ 3 index 0 0 5 index 0 7 index ] } { 3 index 128 eq { [ 3 index neg 0 0 5 index neg 7 index 0 ] } { [ 3 index neg 0 0 5 index 7 index 7 index ] } ifelse } ifelse } ifelse {currentfile picstr readhexstring pop} image pop restore } bdef /_l {_lt} bdef /_lr {_rlt} bdef /_m {_mt} bdef /_O {currentfont makeoutl setfont} bdef /_o {Bfont setfont} bdef /_ornt {/pwid exch def /plen exch def orntsv 1 eq {0 pwid translate -90 rotate} if orntsv 2 eq {pwid plen translate 180 rotate} if orntsv 3 eq {plen 0 translate 90 rotate} if dup 1 eq {pwid 0 translate 90 rotate} if dup 2 eq {pwid plen translate 180 rotate} if dup 3 eq {0 plen translate -90 rotate} if /orntsv exch def } bdef /_lod1 {currentpoint orntsv plen pwid 6 -1 roll restore save} bdef /_lod2 {_bp 7 2 roll _ornt _mt} bdef /_unlod {currentpoint orntsv plen pwid 7 -2 roll restore restore _bp 6 1 roll _ornt _mt } bdef /_p {2 copy _mt 1 0 _rlt _mt} bdef /_pl {{_lt} repeat} bdef /_R { /ron true def /_S /_rshow load def /_t /_red load def} bdef /_rshow { save exch currentpoint /RSy exch def /RSx exch def ron { sflg { currentpoint /Ry exch def /Rx exch def dup stringwidth pop Rx Ry psz 4 div add _mt Rx psz 15 add setlinewidth .95 setgray 0 setlinecap add Ry psz 4 div add _lt stroke Rx Ry _mt 0 0 0 setrgbcolor dup show Rx Ry _mt sshow } { _redshow }ifelse } { sflg {sshow} if }ifelse currentpoint 3 -1 roll restore _mt } bdef /_red { gsave dup currentpoint /Ry exch def /Rx exch def Rx Ry psz 4 div add _mt Rx psz 15 add setlinewidth .95 setgray 0 setlinecap add Ry psz 4 div add _lt stroke Rx Ry _mt grestore 0 rmoveto }bdef /_redshow {currentpoint /Ry exch def /Rx exch def dup stringwidth pop Rx Ry psz 4 div add _mt Rx psz 15 add setlinewidth .95 setgray 0 setlinecap add Ry psz 4 div add _lt stroke Rx Ry _mt 0 0 0 setrgbcolor show currentpoint _mt }bdef /_rmxy {_rmt} bdef /_s /stroke load def /_SH bon {/bon false def} if {/sflg true def /_S /_rshow load def } bdef /_sh { ron {/sflg false def bflg {_B} if} {/_S /show load def /sflg false def bflg {_B} if}ifelse }bdef /_sp { gsave stroke grestore } bdef /_ST {currentpoint /Sy exch def /Sx exch def} bdef /_st {gsave currentpoint psz 4 div add _mt Sx Sy psz 4 div add _lt 10 setlinewidth stroke grestore } bdef /_U {currentpoint /Uy exch def /Ux exch def} bdef /_u {gsave currentpoint -30 add _mt Ux Uy -30 add _lt 12 setlinewidth stroke grestore } bdef /_w /setlinewidth load def end /#copies 1 def statusdict begin false setduplexmode end /wpdict2 100 dict def wpdict begin wpdict2 begin _bd /_rhs{readhexstring}bdef/_tr{translate}bdef /_ix{index}bdef/_mx{matrix}bdef /ife{ifelse}bdef/_x{exch}bdef /_is{save 4 1 roll dup/picstr _x 7 add 8 idiv string def 3 1 roll _tr dup 1 scale dup 1 1[5 -1 roll 0 0 1 0 0] {currentfile picstr _rhs pop}image restore}bdef /_epsi{1 eq{{1 _x sub}currenttransfer _ccprocs settransfer}if /yp _x def/xp _x def/dhgt _x def/dwid _x def 4 copy sub/swid _x def sub/shgt _x def add 2 div/icx _x def add 2 div/icy _x def xp dwid 2 div add icx sub yp dhgt 2 div sub icy sub _tr icx icy _tr 360 _x sub rotate dwid swid div/xsc _x def _x dhgt shgt div/ysc _x def _x dup 1 eq{xsc neg/xsc _x def pop} {dup 2 eq{ysc neg /ysc _x def pop} {3 eq{ysc neg/ysc _x def xsc neg/xsc _x def} {}ife}ife}ife xsc ysc scale 100 div _x 100 div _x scale icx neg icy neg _tr}bdef /_c{3{255 div 3 1 roll}repeat setrgbcolor}bdef /eq3{3 copy 2 _ix eq{eq{true}{false}ife}{pop pop false}ife}bdef /g{255 div setgray}bdef /_clr{ron{6 3 roll pop pop pop}{eq3{pop pop g}{_c}ife}ife}bdef /_r{/ron false def eq3{1 sub neg g pop pop}{setrgbcolor}ife}bdef /_ircms{save 15 1 roll 1 eq{{1 exch sub}currenttransfer _ccprocs settransfer}if /pstr _x string def _tr /Cli _x def/USy _x def/USx _x def/Rot _x def/HTd _x def /WDd _x def/Bdep _x def/HTs _x def/WDs _x def/MIR _x def USx 100 div USy 100 div scale WDd WDs sub 2 div HTd HTs sub 2 div neg _tr WDs HTs 2 div neg _x 2 div _x _tr Rot 360 _x sub rotate WDd HTd HTs div _x WDs div _x scale WDs 2 div neg HTs 2 div _tr WDs HTs scale WDs HTs Bdep MIR 0 eq{[WDs 0 0 HTs neg 0 0]}{MIR 1 eq{[WDs 0 0 HTs 0 HTs]} {MIR 128 eq{[WDs neg 0 0 HTs neg WDs 0]} {[WDs neg 0 0 HTs WDs HTs]}ife}ife}ife {currentfile pstr _rhs pop}Cli 0 eq{image}{false 3 colorimage}ife restore}bdef /_bp{save 2 setlinecap 2 setmiterlimit .06 .06 scale 0 0 moveto}bdef /tctm _mx def/trot _mx def/tscale _mx def/rmtx _mx def /fr{72 0 rmtx defaultmatrix dtransform /yres _x def/xres _x def xres dup mul yres dup mul add sqrt}bdef /sus{/spotf _x def/sang _x def/csz _x def /m tctm currentmatrix def/rm sang trot rotate def /sm csz dup tscale scale def sm rm m m concatmatrix m concatmatrix pop 1 0 m dtransform /y1 _x def/x1 _x def /veclength x1 dup mul y1 dup mul add sqrt def /frcy fr veclength div def /nsang y1 x1 atan def frcy nsang/spotf load setscreen}bdef /bitis{/ybit _x def /xbit _x def /bval bstring ybit bwidth mul xbit 8 idiv add get def /mask 1 7 xbit 8 mod sub bitshift def bval mask and 0 ne}bdef /bps{/y _x def /x _x def /xndx x 1 add 2 div bpside mul cvi def /yndx y 1 add 2 div bpside mul cvi def xndx yndx bitis {/onb onb 1 add def 1}{/ofb ofb 1 add def 0}ife}bdef /stpatt{/csz _x def /angle _x def /bwidth _x def /bpside _x def /bstring _x def /onb 0 def /ofb 0 def csz angle /bps load sus{}settransfer ofb ofb onb add div _g}bdef /_fp{8 1 0 cpi stpatt}bdef /_pf{gsave eofill grestore}bdef /_np{newpath}bdef/_lc{setlinecap}bdef /_sr{/cpi _x def}bdef /nbuff 50 string def /_ieq {gsave dup /picstr exch 7 add 8 idiv string def 3 1 roll translate dup 1 scale dup 1 false [5 -1 roll 0 0 1 0 0] {currentfile picstr readhexstring pop} imagemask grestore} bdef a4 _bp 0 14032 9922 _ornt /Times-RomanR 600 _ff 0 14032 9922 _ornt /_r { sflg {/_t {0 rmoveto}bdef /ron false def} { /_S /show load def /_t {0 rmoveto}bdef /ron false def}ifelse }bdef 1417 12470 _m (To:)_S 67 _t (X3J3)_S 67 _t (and)_S 67 _t (WG5)_S 67 _t (\(18)_S 67 _t (March)_S 67 _t (1994\))_S 1417 12237 _m (From:)_S 67 _t (Lawrie)_S 67 _t (Schonfelder)_S 67 _t 1417 12004 _m (References:)_S 67 _t (X3J3-94/107)_S 67 _t (and)_S 67 _t (108)_S 1417 11771 _m 67 _t 3422 11465 _m /Times-BoldR 900 _ff (Constructor)_S 100 _t (Enhancements)_S /Times-RomanR 600 _ff 1417 10942 _m /Times-BoldR 720 _ff (1)_S 80 _t (Introduction)_S /Times-RomanR 600 _ff 1417 10699 _m (At)_S 71 _t (meeting)_S 72 _t (128)_S 71 _t (as)_S 72 _t (a)_S 71 _t (result)_S 72 _t (of)_S 71 _t (both)_S 72 _t (full)_S 71 _t (committee)_S 72 _t (discussion)_S 71 _t (and)_S 71 _t (consideration)_S 72 _t (in)_S 71 _t (the)_S 72 _t (OOF)_S 1417 10466 _m (subgroup)_S 67 _t (it)_S 67 _t (was)_S 66 _t (suggested)_S 67 _t (that)_S 67 _t (the)_S 66 _t (current)_S 67 _t (constructor)_S 67 _t (was)_S 66 _t (both)_S 67 _t (inconsistent)_S 66 _t (and)_S 67 _t (unfriendly.)_S 1417 10233 _m (This)_S 66 _t (paper)_S 66 _t (is)_S 67 _t (a)_S 66 _t (proposal)_S 67 _t (following)_S 66 _t (the)_S 66 _t (lines)_S 67 _t (indicated)_S 66 _t (in)_S 66 _t (the)_S 66 _t (above)_S 67 _t (papers)_S 66 _t (which)_S 66 _t (were)_S 67 _t (given)_S 1417 10000 _m (in)_S 67 _t (principle)_S 67 _t (support)_S 67 _t (by)_S 67 _t (the)_S 67 _t (full)_S 67 _t (committee.)_S 2017 9767 _m (The)_S 70 _t (constructor)_S 70 _t (as)_S 70 _t (defined)_S 71 _t (in)_S 70 _t (F90)_S 70 _t (has)_S 71 _t (the)_S 70 _t (syntactic)_S 70 _t (form)_S 71 _t (of)_S 70 _t (a)_S 70 _t (function)_S 70 _t (reference)_S 71 _t (but)_S 1417 9534 _m (unlike)_S 121 _t (any)_S 121 _t (other)_S 121 _t (intrinsically)_S 120 _t (defined)_S 121 _t (function)_S 121 _t (it)_S 121 _t (cannot)_S 120 _t (be)_S 121 _t (referenced)_S 121 _t (using)_S 120 _t (keyword)_S 1417 9301 _m (arguments,)_S 112 _t (nor)_S 111 _t (can)_S 112 _t (the)_S 111 _t (name)_S 112 _t (be)_S 112 _t (overloaded)_S 111 _t (by)_S 112 _t (the)_S 111 _t (user.)_S 112 _t (These)_S 111 _t (two)_S 112 _t (shortcomings)_S 111 _t (are)_S 1417 9068 _m (essentially)_S 53 _t (separate)_S 53 _t (except)_S 54 _t (that)_S 53 _t (if)_S 54 _t (the)_S 53 _t (latter)_S 53 _t (is)_S 54 _t (permitted)_S 53 _t (then)_S 53 _t (the)_S 54 _t (former)_S 53 _t (comes)_S 53 _t (as)_S 53 _t (a)_S 54 _t (byproduct.)_S 1417 8835 _m (The)_S 55 _t (proposal)_S 55 _t (is)_S 55 _t (therefore)_S 55 _t (made)_S 55 _t (in)_S 55 _t (two)_S 55 _t (parts.)_S 55 _t (The)_S 55 _t (first)_S 54 _t (is)_S 55 _t (to)_S 55 _t (allow)_S 55 _t (the)_S 55 _t (use)_S 55 _t (of)_S 55 _t (component)_S 54 _t (names)_S 1417 8602 _m (as)_S 59 _t (keywords)_S 58 _t (in)_S 59 _t (a)_S 58 _t (constructor)_S 59 _t (reference.)_S 59 _t (The)_S 58 _t (second)_S 59 _t (is)_S 58 _t (to)_S 59 _t (redefine)_S 59 _t (the)_S 58 _t (constructor)_S 59 _t (as)_S 58 _t (a)_S 59 _t (generic)_S 1417 8369 _m (function)_S 67 _t (so)_S 67 _t (as)_S 67 _t (to)_S 67 _t (allow)_S 67 _t (the)_S 67 _t (name)_S 67 _t (to)_S 67 _t (be)_S 67 _t (overloaded)_S 67 _t (by)_S 67 _t (the)_S 67 _t (user.)_S 1417 7873 _m /Times-BoldR 720 _ff (2)_S 80 _t (Technical)_S 80 _t (Description)_S /Times-RomanR 600 _ff 1417 7630 _m /Times-BoldR 600 _ff (2.1)_S 67 _t (Keyword)_S 67 _t (arguments)_S 67 _t (in)_S 67 _t (constructors)_S /Times-RomanR 600 _ff 1417 7397 _m (The)_S 73 _t (aim)_S 73 _t (here)_S 73 _t (is)_S 73 _t (to)_S 74 _t (make)_S 73 _t (the)_S 73 _t (references)_S 73 _t (to)_S 73 _t (constructors)_S 73 _t (more)_S 73 _t (user)_S 73 _t (friendly,)_S 73 _t (especially)_S 73 _t (when)_S 1417 7164 _m (structures)_S 65 _t (having)_S 65 _t (a)_S 65 _t (large)_S 65 _t (number)_S 65 _t (of)_S 65 _t (components)_S 65 _t (are)_S 65 _t (constructed.)_S 65 _t (The)_S 65 _t (proposal)_S 65 _t (is)_S 65 _t (to)_S 66 _t (help)_S 65 _t (the)_S 1417 6931 _m (user)_S 65 _t (to)_S 65 _t (specify)_S 65 _t (the)_S 65 _t (expression/component)_S 65 _t (correspondence)_S 65 _t (using)_S 65 _t (either)_S 65 _t (positional)_S 65 _t (or)_S 65 _t (keyword)_S 1417 6698 _m (argument)_S 64 _t (syntax,)_S 64 _t (with)_S 64 _t (the)_S 64 _t (keywords)_S 64 _t (being)_S 64 _t (the)_S 65 _t (component)_S 64 _t (names.)_S 64 _t (For)_S 64 _t (example,)_S 64 _t (given)_S 64 _t (a)_S 64 _t (type)_S 1417 6465 _m (defined)_S 67 _t (by)_S /CourierR 600 _ff 1417 6040 _m (TYPE)_S 120 _t (STOCK_ITEM)_S 1417 5840 _m 120 _t 120 _t (INTEGER)_S 120 _t (::)_S 120 _t (id,holding,buy_level)_S 1417 5640 _m 120 _t 120 _t (CHARACTER\(LEN=20\))_S 120 _t (::)_S 120 _t (desc)_S 1417 5440 _m 120 _t 120 _t (REAL)_S 120 _t (::)_S 120 _t (buy_price,sell_price)_S 1417 5240 _m (ENDTYPE)_S 120 _t (STOCK_ITEM)_S /Times-RomanR 600 _ff 1417 4799 _m (the)_S 67 _t (two)_S 67 _t (constructor)_S 67 _t (references)_S 67 _t (below)_S 67 _t (would)_S 67 _t (mean)_S 67 _t (the)_S 67 _t (same)_S 67 _t (thing.)_S /CourierR 600 _ff 1417 4374 _m (STOCK_ITEM\(12345,75,10,"Pencils)_S 120 _t (HB",1.56,2.49\))_S 1417 3974 _m (STOCK_ITEM\(desc="Pencils)_S 120 _t (HB",)_S 120 _t (id=12345,)_S 120 _t (&)_S 1417 3774 _m 120 _t 120 _t 120 _t 120 _t 120 _t 120 _t 120 _t 120 _t 120 _t 120 _t 120 _t (holding=75,)_S 120 _t (sell_price=2.49,)_S 120 _t (&)_S 1417 3574 _m 120 _t 120 _t 120 _t 120 _t 120 _t 120 _t 120 _t 120 _t 120 _t 120 _t 120 _t (buy_level=10,)_S 120 _t (buy_price=1.56)_S 120 _t (\))_S /Times-RomanR 600 _ff 1417 3133 _m (The)_S 110 _t (latter)_S 110 _t (is)_S 111 _t (substantially)_S 110 _t (more)_S 110 _t (indicative)_S 111 _t (of)_S 110 _t (the)_S 111 _t (intent)_S 110 _t (of)_S 110 _t (the)_S 111 _t (reference.)_S 110 _t (It)_S 110 _t (makes)_S 111 _t (the)_S 1417 2900 _m (correspondence)_S 72 _t (between)_S 72 _t (component)_S 71 _t (and)_S 72 _t (expression)_S 72 _t (obvious)_S 72 _t (and)_S 71 _t (incidentally)_S 72 _t (makes)_S 72 _t (the)_S 71 _t (use)_S 1417 2667 _m (of)_S 67 _t (assignment)_S 67 _t (semantics)_S 67 _t (for)_S 67 _t (establishing)_S 67 _t (the)_S 67 _t (resulting)_S 67 _t (component)_S 67 _t (value)_S 67 _t (equally)_S 67 _t (obvious.)_S 67 _t 2017 2434 _m (This)_S 59 _t (last)_S 59 _t (point)_S 59 _t (raises)_S 58 _t (a)_S 59 _t (question.)_S 59 _t (If)_S 58 _t (intrinsic)_S 59 _t (assignment)_S 59 _t (has)_S 59 _t (been)_S 58 _t (overridden)_S 59 _t (by)_S 59 _t (a)_S 58 _t (user)_S 1417 2201 _m (defined)_S 46 _t (assignment)_S 47 _t (for)_S 46 _t (a)_S 47 _t (particular)_S 46 _t (expression)_S 46 _t (and)_S 47 _t (component)_S 46 _t (combination,)_S 47 _t (shouldn't)_S 46 _t (this)_S 47 _t (user)_S 1417 1968 _m (defined)_S 46 _t (assignment)_S 45 _t (be)_S 46 _t (used)_S 46 _t (to)_S 46 _t (determine)_S 46 _t (the)_S 45 _t (constructed)_S 46 _t (component)_S 46 _t (value?)_S 46 _t (The)_S 46 _t (edits)_S 46 _t (proposed)_S 8857 1480 _m /CourierR 600 _ff (1)_S /Times-RomanR 600 _ff _ep _bp /Times-RomanR 600 _ff 0 14032 9922 _ornt /_r { sflg {/_t {0 rmoveto}bdef /ron false def} { /_S /show load def /_t {0 rmoveto}bdef /ron false def}ifelse }bdef 1417 12470 _m (in)_S 66 _t (the)_S 66 _t (initial)_S 66 _t (version)_S 66 _t (of)_S 66 _t (this)_S 66 _t (paper)_S 66 _t (assumed)_S 66 _t (that)_S 66 _t (the)_S 66 _t (answer)_S 66 _t (to)_S 66 _t (this)_S 66 _t (question)_S 66 _t (should)_S 66 _t (be)_S 66 _t (yes.)_S 66 _t (It)_S 1417 12237 _m (was)_S 68 _t (pointed)_S 68 _t (out)_S 67 _t (by)_S 68 _t (John)_S 68 _t (Reid)_S 67 _t (that)_S 68 _t (this)_S 68 _t (would)_S 136 _t (unfortunately)_S 67 _t (lead)_S 68 _t (to)_S 68 _t (an)_S 68 _t (incompatibility)_S 67 _t (with)_S 1417 12004 _m (F90.)_S 59 _t (So)_S 58 _t (in)_S 59 _t (this)_S 59 _t (version)_S 58 _t (the)_S 59 _t (edits)_S 59 _t (are)_S 58 _t (modified)_S 59 _t (to)_S 59 _t (give)_S 58 _t (the)_S 59 _t (answer)_S 58 _t (no.)_S 59 _t (The)_S 59 _t (intrinsic)_S 58 _t (assignment)_S 1417 11771 _m (semantics)_S 67 _t (are)_S 67 _t (always)_S 67 _t (used)_S 67 _t (for)_S 67 _t (the)_S 67 _t (component)_S 67 _t (expression)_S 67 _t (assignment.)_S 67 _t 2017 11538 _m (For)_S 93 _t (pointer)_S 93 _t (components)_S 93 _t (the)_S 93 _t (keyword)_S 93 _t (would)_S 93 _t (still)_S 93 _t (be)_S 93 _t (the)_S 93 _t (component)_S 93 _t (name)_S 93 _t (and)_S 93 _t (the)_S 1417 11305 _m (component=)_S 60 _t (form)_S 61 _t (used)_S 60 _t (although)_S 61 _t (now)_S 60 _t (the)_S 61 _t (intrinsic)_S 60 _t (assignment)_S 61 _t (semantics)_S 60 _t (implied)_S 61 _t (are)_S 60 _t (those)_S 61 _t (of)_S 1417 11072 _m (pointer)_S 67 _t (assignment)_S 67 _t (and)_S 67 _t (the)_S 67 _t (expression)_S 67 _t (must)_S 67 _t (deliver)_S 67 _t (a)_S 67 _t (result)_S 67 _t (that)_S 67 _t (has)_S 67 _t (the)_S 67 _t (target)_S 67 _t (attribute.)_S 2017 10839 _m (As)_S 47 _t (with)_S 47 _t (actual)_S 48 _t (arguments,)_S 47 _t (positional)_S 47 _t (correspondence)_S 47 _t (should)_S 47 _t (be)_S 48 _t (permitted)_S 47 _t (up)_S 47 _t (to)_S 47 _t (the)_S 47 _t (first)_S 1417 10606 _m (use)_S 66 _t (of)_S 67 _t (the)_S 67 _t (keyword)_S 66 _t (form,)_S 67 _t (all)_S 67 _t (subsequent)_S 66 _t (component/expression)_S 67 _t (arguments)_S 67 _t (would)_S 66 _t (have)_S 67 _t (to)_S 67 _t (be)_S 1417 10373 _m (of)_S 67 _t (the)_S 67 _t (keyword)_S 67 _t (form.)_S 1417 10138 _m /Times-ItalicR 600 _ff ({{{)_S 67 _t 2017 10138 _m (Note,)_S 61 _t (if)_S 61 _t (parameterised)_S 61 _t (data)_S 61 _t (types)_S 61 _t (are)_S 61 _t (added)_S 61 _t (the)_S 61 _t (only)_S 61 _t (addition)_S 61 _t (to)_S 61 _t (this)_S 61 _t (proposal)_S 2017 9905 _m (that)_S 72 _t (is)_S 72 _t (needed)_S 72 _t (is)_S 71 _t (that)_S 72 _t (the)_S 72 _t (type)_S 72 _t (parameter)_S 72 _t (names)_S 71 _t (may)_S 72 _t (be)_S 72 _t (used)_S 72 _t (as)_S 71 _t (keywords)_S 72 _t (to)_S 2017 9672 _m (indicate)_S 67 _t (the)_S 67 _t (correspondence)_S 67 _t (for)_S 67 _t (parameter)_S 67 _t (value)_S 67 _t (expressions)_S 67 _t 8737 9672 _m (}}})_S /Times-RomanR 600 _ff 1417 9208 _m /Times-BoldR 600 _ff (2.2)_S 67 _t (Allowing)_S 67 _t (user)_S 67 _t (defined)_S 67 _t (overloads)_S /Times-RomanR 600 _ff 1417 8975 _m (This)_S 67 _t (change)_S 67 _t (actually)_S 67 _t (requires)_S 66 _t (few)_S 67 _t (edits)_S 67 _t (to)_S 66 _t (the)_S 67 _t (standard.)_S 67 _t (It)_S 67 _t (merely)_S 66 _t (requires)_S 67 _t (the)_S 67 _t (constructor)_S 66 _t (to)_S 1417 8742 _m (be)_S 107 _t (defined)_S 106 _t (as)_S 106 _t (a)_S 107 _t (generic)_S 106 _t (procedure,)_S 107 _t (and)_S 106 _t (hence)_S 106 _t (allowing)_S 107 _t (the)_S 106 _t (users)_S 107 _t (to)_S 106 _t (provide)_S 107 _t (their)_S 106 _t (own)_S 1417 8509 _m (overloads)_S 67 _t (for)_S 67 _t (this)_S 67 _t (by)_S 67 _t (use)_S 67 _t (of)_S 67 _t (the)_S 67 _t (generic)_S 67 _t (interface)_S 67 _t (block.)_S 67 _t 2017 8276 _m (However,)_S 79 _t (this)_S 80 _t (makes)_S 79 _t (the)_S 80 _t (definition)_S 79 _t (of)_S 80 _t (class)_S 79 _t (1)_S 80 _t (names)_S 79 _t (even)_S 79 _t (more)_S 80 _t (inconsistent)_S 79 _t (that)_S 80 _t (it)_S 1417 8043 _m (currently)_S 58 _t (is.)_S 58 _t (Even)_S 57 _t (as)_S 58 _t (it)_S 58 _t (stands)_S 57 _t (the)_S 58 _t (definition)_S 58 _t (of)_S 58 _t (class)_S 57 _t (1)_S 58 _t (is)_S 58 _t (flawed.)_S 58 _t (The)_S 57 _t (type)_S 58 _t (name)_S 58 _t (is)_S 58 _t (not)_S 57 _t (unique)_S 1417 7810 _m (in)_S 62 _t (the)_S 62 _t (class;)_S 62 _t (the)_S 62 _t (type)_S 62 _t (name)_S 62 _t (appears)_S 62 _t (both)_S 62 _t (as)_S 62 _t (the)_S 62 _t (name)_S 62 _t (of)_S 62 _t (the)_S 62 _t (type)_S 61 _t (and)_S 62 _t (as)_S 62 _t (the)_S 62 _t (name)_S 62 _t (of)_S 62 _t (the)_S 62 _t (type)_S 1417 7577 _m (value)_S 50 _t (constructor.)_S 49 _t (An)_S 50 _t (additional,)_S 49 _t (but)_S 50 _t (optional)_S 50 _t (part)_S 49 _t (of)_S 50 _t (this)_S 49 _t (proposal)_S 50 _t (would)_S 49 _t (place)_S 50 _t (the)_S 50 _t (type)_S 49 _t (names)_S 1417 7344 _m (into)_S 71 _t (a)_S 70 _t (separate)_S 70 _t (class)_S 70 _t (\(there)_S 71 _t (already)_S 70 _t (exists)_S 70 _t (a)_S 71 _t (rule)_S 70 _t (that)_S 70 _t (says)_S 70 _t (that)_S 71 _t (the)_S 70 _t (set)_S 70 _t (of)_S 71 _t (all)_S 70 _t (accessible)_S 70 _t (types)_S 1417 7111 _m (must)_S 70 _t (be)_S 71 _t (uniquely)_S 70 _t (named)_S 71 _t (which)_S 70 _t (is)_S 70 _t (essentially)_S 71 _t (what)_S 70 _t (is)_S 70 _t (meant)_S 71 _t (by)_S 70 _t (a)_S 71 _t (class)_S 70 _t (of)_S 71 _t (name\))_S 70 _t (along)_S 71 _t (with)_S 1417 6878 _m (the)_S 81 _t (constructor)_S 81 _t (name)_S 81 _t (being)_S 81 _t (considered)_S 81 _t (to)_S 81 _t (be)_S 81 _t (that)_S 81 _t (of)_S 81 _t (a)_S 81 _t (generic)_S 81 _t (function.)_S 80 _t (This)_S 81 _t (is)_S 81 _t (essentially)_S 1417 6645 _m (extending)_S 67 _t (the)_S 67 _t (situation)_S 67 _t (that)_S 67 _t (already)_S 67 _t (applies)_S 67 _t (to)_S 67 _t (REAL)_S 67 _t (to)_S 67 _t (all)_S 67 _t (derived)_S 67 _t (types.)_S 2017 6412 _m (For)_S 67 _t (a)_S 67 _t (type)_S 67 _t (such)_S 67 _t (as)_S /CourierR 600 _ff 1417 5987 _m (TYPE)_S 120 _t (RATIONAL)_S 1417 5787 _m 120 _t 120 _t (INTEGER)_S 120 _t (::)_S 120 _t (num,den)_S 1417 5587 _m (ENDTYPE)_S 120 _t (RATIONAL)_S /Times-RomanR 600 _ff 1417 5146 _m (This)_S 86 _t (would)_S 87 _t (allow)_S 87 _t (a)_S 87 _t (user)_S 87 _t (defined)_S 87 _t (constructor)_S 87 _t (to)_S 87 _t (be)_S 87 _t (specified)_S 87 _t (that)_S 87 _t (would)_S 87 _t (convert)_S 87 _t (a)_S 87 _t (normal)_S 1417 4913 _m (integer)_S 67 _t (value,)_S 67 _t (say,)_S 67 _t (to)_S 67 _t (a)_S 67 _t (rational)_S 67 _t (number,)_S /CourierR 600 _ff 1417 4488 _m (INTERFACE)_S 120 _t (RATIONAL)_S 1417 4288 _m 120 _t 120 _t (FUNCTION)_S 120 _t (int_to_rat\(int\))_S 1417 4088 _m 120 _t 120 _t 120 _t 120 _t (type\(RATIONAL\)::int_to_rat)_S 1417 3888 _m 120 _t 120 _t 120 _t 120 _t (INTEGER::int)_S 1417 3688 _m 120 _t 120 _t (ENDFUNCTION)_S 120 _t (int_to_rat)_S 1417 3488 _m 120 _t 120 _t (.....)_S 1417 3288 _m (ENDINTERFACE)_S /Times-RomanR 600 _ff 1417 2847 _m (Of)_S 77 _t (course)_S 76 _t (it)_S 77 _t (would)_S 77 _t (also)_S 77 _t (be)_S 77 _t (useful)_S 77 _t (in)_S 77 _t (a)_S 77 _t (such)_S 77 _t (a)_S 76 _t (case)_S 77 _t (to)_S 77 _t (have)_S 77 _t (other)_S 77 _t (generic)_S 77 _t (overloads)_S 77 _t (for)_S 77 _t (the)_S 1417 2614 _m (constructor,)_S 66 _t (such)_S 65 _t (as)_S 65 _t (real)_S 66 _t (to)_S 65 _t (rational)_S 65 _t (or)_S 66 _t (even)_S 65 _t (a)_S 65 _t (character)_S 65 _t (string)_S 66 _t (literal)_S 65 _t (denoting)_S 65 _t (a)_S 66 _t (real)_S 65 _t (value)_S 65 _t (to)_S 1417 2381 _m (rational.)_S 2017 2148 _m (In)_S 53 _t (considering)_S 53 _t (the)_S 53 _t (class)_S 53 _t (of)_S 53 _t (names)_S 53 _t (situation)_S 53 _t (one)_S 53 _t (should)_S 53 _t (note)_S 53 _t (that)_S 53 _t (the)_S 53 _t (primary)_S 52 _t (role)_S 53 _t (of)_S 53 _t (the)_S 1417 1915 _m (concept)_S 71 _t (of)_S 70 _t (class)_S 71 _t (of)_S 70 _t (name)_S 71 _t (is)_S 70 _t (to)_S 71 _t (provide)_S 70 _t (an)_S 71 _t (easy)_S 70 _t (way)_S 71 _t (of)_S 70 _t (describing)_S 71 _t (the)_S 70 _t (restrictions)_S 71 _t (that)_S 70 _t (apply)_S 1417 1480 _m /CourierR 600 _ff (2)_S /Times-RomanR 600 _ff _ep _bp /Times-RomanR 600 _ff 0 14032 9922 _ornt /_r { sflg {/_t {0 rmoveto}bdef /ron false def} { /_S /show load def /_t {0 rmoveto}bdef /ron false def}ifelse }bdef 1417 12470 _m (to)_S 80 _t (the)_S 80 _t (use)_S 80 _t (of)_S 80 _t (names)_S 80 _t (for)_S 80 _t (different)_S 80 _t (entities.)_S 80 _t (In)_S 80 _t (particular)_S 80 _t (the)_S 80 _t (concept)_S 80 _t (is)_S 80 _t (supposed)_S 80 _t (to)_S 80 _t (indicate)_S 1417 12237 _m (clearly)_S 57 _t (when)_S 57 _t (a)_S 57 _t (particular)_S 57 _t (name)_S 58 _t (is)_S 57 _t (required)_S 57 _t (to)_S 57 _t (be)_S 57 _t (unique)_S 57 _t (and)_S 57 _t (when)_S 58 _t (it)_S 57 _t (might)_S 57 _t (be)_S 57 _t (used)_S 57 _t (to)_S 58 _t (identify)_S 1417 12004 _m (more)_S 103 _t (than)_S 104 _t (one)_S 103 _t (program)_S 104 _t (entity.)_S 103 _t (Such)_S 104 _t (rules)_S 103 _t (help)_S 104 _t (describe)_S 103 _t (those)_S 103 _t (features)_S 104 _t (of)_S 103 _t (the)_S 104 _t (language)_S 1417 11771 _m (designed)_S 73 _t (to)_S 73 _t (make)_S 73 _t (it)_S 74 _t (impossible)_S 73 _t (to)_S 73 _t (write)_S 74 _t (a)_S 73 _t (legal)_S 73 _t (program)_S 74 _t (that)_S 73 _t (is)_S 74 _t (ambiguous.)_S 73 _t (The)_S 73 _t (concept)_S 74 _t (of)_S 1417 11538 _m (class)_S 83 _t (was)_S 83 _t (invented)_S 83 _t (to)_S 83 _t (enable)_S 83 _t (the)_S 83 _t (expression)_S 83 _t (of)_S 83 _t (the)_S 83 _t (rule)_S 83 _t (that)_S 84 _t (a)_S 83 _t (reference)_S 83 _t (via)_S 83 _t (a)_S 83 _t (given)_S 83 _t (name)_S 1417 11305 _m (should)_S 68 _t (not)_S 68 _t (identify)_S 68 _t (more)_S 68 _t (than)_S 68 _t (one)_S 68 _t (program)_S 68 _t (entity)_S 69 _t (in)_S 68 _t (the)_S 68 _t (same)_S 68 _t (class.)_S 136 _t (Unfortunately)_S 68 _t (the)_S 69 _t (way)_S 1417 11072 _m (it)_S 78 _t (has)_S 77 _t (been)_S 78 _t (used)_S 78 _t (does)_S 78 _t (not)_S 77 _t (in)_S 78 _t (fact)_S 78 _t (do)_S 78 _t (this,)_S 78 _t (and)_S 77 _t (it)_S 78 _t (also)_S 78 _t (causes)_S 78 _t (a)_S 78 _t (number)_S 78 _t (of)_S 77 _t (restrictions)_S 78 _t (to)_S 78 _t (be)_S 1417 10839 _m (applied)_S 67 _t (which)_S 67 _t (render)_S 67 _t (entirely)_S 67 _t (unambiguous)_S 67 _t (programs)_S 67 _t (illegal.)_S 2017 10606 _m (The)_S 83 _t (principle)_S 83 _t (that)_S 83 _t (is)_S 83 _t (to)_S 83 _t (be)_S 83 _t (followed)_S 83 _t (in)_S 83 _t (the)_S 82 _t (discussion)_S 83 _t (below)_S 83 _t (is)_S 83 _t (that)_S 83 _t (the)_S 82 _t (restrictions)_S 1417 10373 _m (should)_S 67 _t (be)_S 67 _t (so)_S 67 _t (phrased)_S 67 _t (and)_S 67 _t (the)_S 67 _t (classes)_S 67 _t (so)_S 67 _t (defined)_S 67 _t (that:)_S 2017 10140 _m (-)_S 2617 10140 _m (names)_S 67 _t (identifying)_S 67 _t (specific)_S 67 _t (entities)_S 67 _t (are)_S 67 _t (in)_S 67 _t (fact)_S 67 _t (unique)_S 67 _t (within)_S 67 _t (a)_S 67 _t (class,)_S 2017 9907 _m (-)_S 2617 9907 _m (names)_S 63 _t (identifying)_S 63 _t (generic)_S 63 _t (references)_S 62 _t (are)_S 63 _t (restricted)_S 63 _t (only)_S 63 _t (by)_S 62 _t (the)_S 63 _t (overriding)_S 63 _t (rule)_S 2617 9674 _m (that)_S 67 _t (no)_S 67 _t (ambiguity)_S 67 _t (is)_S 67 _t (allowed.)_S 1417 9441 _m (Following)_S 80 _t (these)_S 80 _t (principles)_S 80 _t (leads)_S 79 _t (to)_S 80 _t (maximum)_S 80 _t (freedom)_S 80 _t (to)_S 79 _t (the)_S 80 _t (user)_S 80 _t (in)_S 80 _t (choice)_S 79 _t (of)_S 80 _t (names)_S 79 _t (and)_S 1417 9208 _m (greatly)_S 67 _t (reduces)_S 67 _t (name)_S 67 _t (space)_S 67 _t (management)_S 67 _t (problems)_S 67 _t (for)_S 67 _t (the)_S 67 _t (user.)_S 2017 8975 _m (The)_S 64 _t (current)_S 64 _t (class)_S 64 _t (rules)_S 64 _t (lump)_S 64 _t (together)_S 64 _t (a)_S 64 _t (whole)_S 63 _t (raft)_S 64 _t (of)_S 64 _t (very)_S 64 _t (different)_S 64 _t (entity)_S 64 _t (names)_S 64 _t (into)_S 1417 8742 _m (a)_S 58 _t (single)_S 57 _t (class.)_S 57 _t (This)_S 57 _t (results)_S 58 _t (in)_S 57 _t (the)_S 57 _t (application)_S 57 _t (of)_S 58 _t (uniqueness)_S 57 _t (restrictions)_S 57 _t (not)_S 57 _t (otherwise)_S 57 _t (required)_S 1417 8509 _m (by)_S 93 _t (either)_S 93 _t (syntax)_S 93 _t (or)_S 93 _t (the)_S 93 _t (semantics)_S 93 _t (of)_S 93 _t (the)_S 93 _t (language)_S 93 _t (and)_S 93 _t (it)_S 93 _t (fails)_S 92 _t (to)_S 93 _t (apply)_S 93 _t (some)_S 93 _t (uniqueness)_S 1417 8276 _m (restrictions)_S 67 _t (which)_S 67 _t (are)_S 67 _t (required.)_S 67 _t (The)_S 67 _t (definition)_S 67 _t (of)_S 67 _t (class)_S 67 _t (1)_S 67 _t (local)_S 67 _t (names,)_S 2017 7810 _m ("Named)_S 67 _t (variables)_S 66 _t (that)_S 67 _t (are)_S 66 _t (not)_S 66 _t (statement)_S 66 _t (entities,)_S 67 _t (named)_S 66 _t (constants,)_S 66 _t (named)_S 66 _t (constructs,)_S 2017 7577 _m (statement)_S 114 _t (functions,)_S 113 _t (internal)_S 114 _t (procedures,)_S 113 _t (module)_S 114 _t (procedures,)_S 113 _t (dummy)_S 114 _t (procedures,)_S 2017 7344 _m (intrinsic)_S 67 _t (procedures,)_S 67 _t (generic)_S 67 _t (identifiers,)_S 67 _t (derived)_S 67 _t (types,)_S 67 _t (and)_S 67 _t (namelist)_S 67 _t (group)_S 67 _t (names")_S 1417 6878 _m (includes)_S 91 _t (construct)_S 92 _t (names,)_S 91 _t (type)_S 91 _t (names)_S 92 _t (and)_S 91 _t (generic)_S 92 _t (procedure)_S 91 _t (names)_S 92 _t (in)_S 91 _t (the)_S 92 _t (same)_S 91 _t (class)_S 92 _t (as)_S 1417 6645 _m (variables,)_S 67 _t (constants,)_S 67 _t (specific)_S 67 _t (procedure)_S 67 _t (names,)_S 67 _t (etc.)_S 67 _t 2017 6412 _m (Construct)_S 49 _t (names)_S 50 _t (are)_S 49 _t (totally)_S 50 _t (distinguished)_S 49 _t (by)_S 50 _t (context.)_S 49 _t (A)_S 50 _t (name)_S 49 _t (used)_S 50 _t (as)_S 50 _t (a)_S 49 _t (construct)_S 50 _t (name)_S 1417 6179 _m (can)_S 80 _t (not)_S 79 _t (be)_S 79 _t (ambiguous)_S 79 _t (with)_S 79 _t (any)_S 79 _t (other)_S 79 _t (use)_S 79 _t (of)_S 79 _t (such)_S 79 _t (a)_S 79 _t (name.)_S 79 _t (In)_S 79 _t (fact)_S 79 _t (the)_S 79 _t (essential)_S 79 _t (scope)_S 79 _t (of)_S 79 _t (a)_S 1417 5946 _m (construct)_S 64 _t (name)_S 65 _t (is)_S 64 _t (actually)_S 65 _t (the)_S 64 _t (construct)_S 64 _t (which)_S 65 _t (it)_S 64 _t (identifies,)_S 65 _t (although)_S 64 _t (it)_S 64 _t (is)_S 65 _t (not)_S 64 _t (proposed)_S 65 _t (to)_S 64 _t (go)_S 1417 5713 _m (that)_S 70 _t (far)_S 71 _t (here.)_S 70 _t (There)_S 70 _t (is)_S 70 _t (no)_S 70 _t (possibility)_S 70 _t (for)_S 70 _t (confusion)_S 71 _t (of)_S 70 _t (a)_S 70 _t (construct)_S 70 _t (name)_S 70 _t (with)_S 70 _t (an)_S 70 _t (other)_S 70 _t (object)_S 1417 5480 _m (identified)_S 65 _t (by)_S 66 _t (a)_S 66 _t (class)_S 67 _t (1)_S 66 _t (name.)_S 66 _t (As)_S 66 _t (a)_S 66 _t (step)_S 65 _t (in)_S 66 _t (the)_S 66 _t (direction)_S 66 _t (of)_S 66 _t (removing)_S 66 _t (unnecessary)_S 66 _t (restrictions)_S 1417 5247 _m (it)_S 63 _t (is)_S 63 _t (proposed)_S 63 _t (that)_S 63 _t (construct)_S 63 _t (names)_S 64 _t (be)_S 63 _t (removed)_S 63 _t (from)_S 63 _t (the)_S 63 _t (class)_S 67 _t (1)_S 63 _t (list)_S 63 _t (and)_S 63 _t (placed)_S 63 _t (in)_S 63 _t (a)_S 63 _t (class)_S 63 _t (by)_S 1417 5014 _m (themselves.)_S 1417 4779 _m /Times-ItalicR 600 _ff ({{{)_S 67 _t 2017 4779 _m (Note,)_S 58 _t (construct)_S 58 _t (names)_S 57 _t (behave)_S 58 _t (very)_S 58 _t (similarly)_S 58 _t (to)_S 58 _t (statement)_S 58 _t (labels.)_S 57 _t (If)_S 58 _t (at)_S 58 _t (any)_S 58 _t (time)_S 2017 4546 _m (we)_S 71 _t (were)_S 72 _t (to)_S 72 _t (allow)_S 72 _t (alphanumeric)_S 71 _t (labels)_S 72 _t (then)_S 71 _t (the)_S 72 _t (class)_S 72 _t (of)_S 71 _t (construct)_S 72 _t (names)_S 72 _t (and)_S 2017 4313 _m (labels)_S 67 _t (would)_S 67 _t (be)_S 67 _t (the)_S 67 _t (one)_S 67 _t (requiring)_S 67 _t (local)_S 67 _t (uniqueness.)_S 67 _t 8737 4313 _m (}}})_S /Times-RomanR 600 _ff 2017 4082 _m (Type)_S 70 _t (names)_S 71 _t (are)_S 70 _t (required)_S 70 _t (to)_S 70 _t (be)_S 71 _t (unique)_S 70 _t (within)_S 70 _t (the)_S 70 _t (class)_S 70 _t (of)_S 70 _t (type)_S 71 _t (names)_S 70 _t (by)_S 70 _t (restrictions)_S 1417 3849 _m (applied)_S 56 _t (elsewhere)_S 56 _t (in)_S 56 _t (the)_S 55 _t (standard,)_S 56 _t (but)_S 56 _t (this)_S 56 _t (restriction)_S 56 _t (is)_S 56 _t (not)_S 56 _t (applied)_S 55 _t (by)_S 56 _t (the)_S 56 _t (class)_S 56 _t (rules.)_S 56 _t (In)_S 56 _t (spite)_S 1417 3616 _m (of)_S 73 _t (the)_S 72 _t (fact)_S 72 _t (that)_S 72 _t (the)_S 72 _t (sole)_S 73 _t (function)_S 72 _t (of)_S 72 _t (the)_S 72 _t (class)_S 73 _t (concept)_S 72 _t (and)_S 72 _t (rules)_S 72 _t (is)_S 73 _t (to)_S 72 _t (apply)_S 72 _t (such)_S 72 _t (uniqueness)_S 1417 3383 _m (restrictions.)_S 66 _t (However,)_S 65 _t (the)_S 65 _t (type)_S 65 _t (name)_S 66 _t (enters)_S 65 _t (the)_S 65 _t (class)_S 65 _t (1)_S 65 _t (as)_S 66 _t (the)_S 65 _t (name)_S 65 _t (of)_S 65 _t (two)_S 65 _t (different)_S 65 _t (entities,)_S 1417 3150 _m (the)_S 67 _t (name)_S 67 _t (of)_S 67 _t (the)_S 67 _t (type)_S 67 _t (and)_S 67 _t (the)_S 67 _t (name)_S 67 _t (of)_S 67 _t (the)_S 67 _t (constructor.)_S 67 _t 6217 3150 _m (Apart)_S 87 _t (from)_S 87 _t (the)_S 88 _t (syntactic)_S 87 _t (identity)_S 1417 2917 _m (between)_S 55 _t (a)_S 54 _t (function)_S 55 _t (reference)_S 54 _t (and)_S 55 _t (a)_S 54 _t (constructor)_S 55 _t (reference)_S 54 _t (there)_S 55 _t (is)_S 54 _t (no)_S 55 _t (context)_S 54 _t (in)_S 55 _t (which)_S 54 _t (the)_S 55 _t (type)_S 1417 2684 _m (name)_S 60 _t (is)_S 61 _t (not)_S 61 _t (syntactically)_S 60 _t (distinguished)_S 61 _t (from)_S 61 _t (a)_S 61 _t (possible)_S 61 _t (use)_S 60 _t (of)_S 61 _t (the)_S 61 _t (name)_S 61 _t (as)_S 60 _t (some)_S 61 _t (other)_S 61 _t (entity.)_S 1417 2451 _m (However,)_S 60 _t (it)_S 60 _t (is)_S 60 _t (precisely)_S 61 _t (this)_S 60 _t (identity)_S 60 _t (which)_S 60 _t (on)_S 60 _t (the)_S 60 _t (face)_S 61 _t (of)_S 60 _t (it)_S 60 _t (places)_S 60 _t (the)_S 60 _t (type)_S 60 _t (name)_S 61 _t (in)_S 60 _t (class)_S 67 _t (1.)_S 60 _t 2017 2218 _m (Quite)_S 68 _t (deliberately)_S 68 _t (generic)_S 68 _t (procedure)_S 68 _t (names)_S 68 _t (are)_S 68 _t (names)_S 68 _t (that)_S 68 _t (are)_S 68 _t (intended)_S 69 _t (to)_S 68 _t (identify)_S 68 _t (a)_S 1417 1985 _m (number)_S 141 _t (of)_S 140 _t (different)_S 140 _t (specific)_S 140 _t (entities,)_S 140 _t (where)_S 140 _t (the)_S 140 _t (reference)_S 140 _t (necessarily)_S 140 _t (contains)_S 140 _t (other)_S 8857 1480 _m /CourierR 600 _ff (3)_S /Times-RomanR 600 _ff _ep _bp /Times-RomanR 600 _ff 0 14032 9922 _ornt /_r { sflg {/_t {0 rmoveto}bdef /ron false def} { /_S /show load def /_t {0 rmoveto}bdef /ron false def}ifelse }bdef 1417 12470 _m (information)_S 61 _t (\(arguments\))_S 60 _t (which)_S 61 _t (must)_S 60 _t (serve)_S 61 _t (to)_S 61 _t (disambiguate)_S 60 _t (the)_S 61 _t (reference.)_S 61 _t (Since)_S 60 _t (by)_S 61 _t (definition)_S 1417 12237 _m (generic)_S 69 _t (procedure)_S 70 _t (names)_S 69 _t (behave)_S 69 _t (in)_S 70 _t (all)_S 69 _t (sorts)_S 69 _t (of)_S 69 _t (ways)_S 70 _t (that)_S 69 _t (are)_S 70 _t (different)_S 69 _t (from)_S 69 _t (all)_S 70 _t (other)_S 69 _t (names)_S 1417 12004 _m (it)_S 52 _t (is)_S 52 _t (hardly)_S 52 _t (surprising)_S 52 _t (if)_S 52 _t (trying)_S 53 _t (to)_S 52 _t (include)_S 52 _t (them)_S 52 _t (within)_S 52 _t (the)_S 52 _t (rules)_S 52 _t (which)_S 52 _t (apply)_S 52 _t (to)_S 52 _t (the)_S 53 _t (use)_S 52 _t (of)_S 52 _t (other)_S 1417 11771 _m (names)_S 67 _t (causes)_S 67 _t (problems.)_S 67 _t 2017 11538 _m (In)_S 81 _t (section)_S 80 _t (5.)_S 81 _t (there)_S 80 _t (is)_S 80 _t (a)_S 81 _t (statement)_S 80 _t (that)_S 80 _t (is)_S 81 _t (taken)_S 80 _t (over)_S 81 _t (from)_S 80 _t (F77)_S 81 _t (to)_S 80 _t (the)_S 81 _t (effect)_S 80 _t (that)_S 80 _t (the)_S 1417 11305 _m (declaration)_S 87 _t (of)_S 87 _t (a)_S 87 _t (generic)_S 88 _t (name)_S 87 _t (in)_S 87 _t (a)_S 87 _t (type)_S 87 _t (statement)_S 87 _t (is)_S 87 _t (not)_S 87 _t (sufficient)_S 87 _t (to)_S 87 _t (remove)_S 87 _t (the)_S 87 _t (generic)_S 1417 11072 _m (property)_S 61 _t (of)_S 60 _t (the)_S 60 _t (name.)_S 60 _t (This)_S 61 _t (has)_S 60 _t (been)_S 60 _t (taken)_S 60 _t (to)_S 61 _t (mean)_S 60 _t (that)_S 60 _t (if)_S 60 _t (a)_S 61 _t (name)_S 60 _t (is)_S 60 _t (declared)_S 61 _t (in)_S 60 _t (this)_S 60 _t (way)_S 60 _t (and)_S 1417 10839 _m (subsequently)_S 65 _t (used)_S 65 _t (in)_S 66 _t (what)_S 65 _t (is)_S 65 _t (clearly)_S 66 _t (a)_S 65 _t (variable)_S 65 _t (reference,)_S 65 _t (the)_S 66 _t (name)_S 65 _t (in)_S 65 _t (fact)_S 66 _t (no)_S 65 _t (longer)_S 65 _t (has)_S 66 _t (the)_S 1417 10606 _m (generic)_S 82 _t (property.)_S 81 _t (However,)_S 82 _t (if)_S 81 _t (the)_S 82 _t (name)_S 81 _t (was)_S 81 _t (used)_S 82 _t (as)_S 81 _t (a)_S 81 _t (procedure)_S 82 _t (reference)_S 81 _t (either)_S 82 _t (one)_S 81 _t (that)_S 1417 10373 _m (confirms)_S 67 _t (the)_S 67 _t (declared)_S 67 _t (type)_S 67 _t (of)_S 66 _t (one)_S 67 _t (of)_S 67 _t (the)_S 66 _t (other)_S 67 _t (generic)_S 67 _t (references,)_S 67 _t (both)_S 67 _t (procedure)_S 66 _t (references)_S 1417 10140 _m (remain)_S 67 _t (valid.)_S 67 _t (For)_S 67 _t (example,)_S 67 _t 1417 9682 _m /CourierR 600 _ff (REAL)_S 120 _t (::)_S 120 _t (SIN,x,y)_S 1417 9482 _m (COMPLEX)_S 120 _t (::)_S 120 _t (z)_S 1417 9282 _m (...)_S 1417 9082 _m (x=SIN\(y\))_S 1417 8882 _m (z=SIN\(\(x,y\)\))_S 1417 8674 _m /Times-RomanR 600 _ff 67 _t 1417 8441 _m (is)_S 66 _t (a)_S 66 _t (valid)_S 67 _t (program)_S 66 _t (with)_S 66 _t (both)_S 67 _t (references)_S 66 _t (to)_S 66 _t (SIN)_S 66 _t (being)_S 67 _t (to)_S 66 _t (the)_S 67 _t (generic)_S 66 _t (function)_S 66 _t (SIN.)_S 67 _t (However,)_S 1417 8208 _m (if)_S 67 _t (this)_S 67 _t (was)_S 67 _t (slightly)_S 67 _t (modified,)_S /CourierR 600 _ff 1417 7783 _m (REAL)_S 120 _t (::)_S 120 _t (SIN,x,y)_S 1417 7583 _m (COMPLEX)_S 120 _t (::)_S 120 _t (z)_S 1417 7383 _m (...)_S 1417 7183 _m (x=SIN)_S 1417 6983 _m (z=SIN\(\(x,y\)\))_S /Times-RomanR 600 _ff 1417 6542 _m (so)_S 56 _t (that)_S 57 _t (now)_S 56 _t (the)_S 56 _t (first)_S 56 _t (reference)_S 56 _t (to)_S 57 _t (SIN)_S 56 _t (is)_S 56 _t (to)_S 56 _t (a)_S 56 _t (local)_S 56 _t (variable)_S 56 _t (called)_S 57 _t (SIN.)_S 56 _t (This)_S 56 _t (now)_S 56 _t (results)_S 56 _t (in)_S 56 _t (the)_S 1417 6309 _m (second)_S 53 _t (reference)_S 52 _t (becoming)_S 53 _t (invalid,)_S 52 _t (in)_S 53 _t (spite)_S 52 _t (of)_S 53 _t (it)_S 52 _t (remaining)_S 53 _t (entirely)_S 52 _t (unambiguously)_S 53 _t (resolvable)_S 1417 6076 _m (as)_S 57 _t (a)_S 56 _t (generic)_S 56 _t (reference)_S 56 _t (to)_S 57 _t (the)_S 56 _t (function)_S 57 _t (SIN)_S 56 _t (with)_S 56 _t (a)_S 57 _t (complex)_S 56 _t (argument.)_S 56 _t (This)_S 57 _t (behaviour)_S 56 _t (is)_S 56 _t (highly)_S 1417 5843 _m (counter)_S 75 _t (intuitive)_S 75 _t (to)_S 74 _t (many)_S 75 _t (experienced)_S 75 _t (programmers)_S 74 _t (let)_S 75 _t (alone)_S 74 _t (being)_S 75 _t (easily)_S 74 _t (explicable)_S 75 _t (to)_S 74 _t (the)_S 1417 5610 _m (novice.)_S 68 _t (The)_S 67 _t (standard)_S 68 _t (is)_S 67 _t (seriously)_S 68 _t (unclear)_S 67 _t (about)_S 68 _t (this)_S 67 _t (area)_S 68 _t (and)_S 67 _t (the)_S 68 _t (inclusion)_S 67 _t (of)_S 68 _t (generic)_S 67 _t (names)_S 1417 5377 _m (in)_S 50 _t (class)_S 67 _t (1)_S 50 _t (does)_S 50 _t (little)_S 50 _t (to)_S 50 _t (help)_S 50 _t (since)_S 50 _t (the)_S 50 _t (text)_S 50 _t (of)_S 50 _t (the)_S 50 _t (standard)_S 50 _t (promptly)_S 50 _t (excludes)_S 50 _t (generic)_S 50 _t (procedure)_S 1417 5144 _m (names)_S 67 _t (from)_S 67 _t (the)_S 67 _t (uniqueness)_S 67 _t (requirement.)_S 2017 4911 _m (A)_S 88 _t (significant)_S 89 _t (clarification)_S 88 _t (in)_S 89 _t (this)_S 88 _t (area)_S 89 _t (would)_S 88 _t (to)_S 88 _t (treat)_S 89 _t (generic)_S 88 _t (names)_S 89 _t (as)_S 88 _t (an)_S 89 _t (entirely)_S 1417 4678 _m (separate)_S 57 _t (category)_S 57 _t (of)_S 57 _t (name)_S 56 _t (subject)_S 57 _t (to)_S 57 _t (their)_S 57 _t (own)_S 56 _t (rules)_S 57 _t (and)_S 57 _t (with)_S 57 _t (a)_S 57 _t (precisely)_S 56 _t (defined)_S 57 _t (relationship)_S 1417 4445 _m (with)_S 70 _t (objects)_S 70 _t (in)_S 69 _t (class)_S 67 _t (1.)_S 70 _t (It)_S 69 _t (is)_S 70 _t (suggested)_S 70 _t (that)_S 69 _t (the)_S 70 _t (essential)_S 69 _t (requirement)_S 70 _t (for)_S 69 _t (the)_S 70 _t (rules)_S 70 _t (should)_S 69 _t (be)_S 1417 4212 _m (such)_S 56 _t (that)_S 55 _t (all)_S 56 _t (references)_S 56 _t (made)_S 56 _t (using)_S 55 _t (a)_S 56 _t (particular)_S 55 _t (generic)_S 56 _t (identifier)_S 56 _t (should)_S 55 _t (be)_S 56 _t (unambiguous,)_S 55 _t (but)_S 1417 3979 _m (there)_S 62 _t (is)_S 61 _t (no)_S 62 _t (justification)_S 62 _t (for)_S 62 _t (being)_S 62 _t (more)_S 61 _t (restrictive)_S 62 _t (than)_S 62 _t (that.)_S 62 _t (In)_S 62 _t (the)_S 61 _t (above)_S 62 _t (example)_S 62 _t (there)_S 62 _t (is)_S 62 _t (no)_S 1417 3746 _m (ambiguity,)_S 61 _t (The)_S 62 _t (entity)_S 62 _t (being)_S 62 _t (referenced)_S 62 _t (by)_S 62 _t (the)_S 62 _t (name)_S 62 _t (SIN)_S 62 _t (in)_S 62 _t (each)_S 62 _t (case)_S 62 _t (is)_S 62 _t (totally)_S 62 _t (distinguished)_S 1417 3513 _m (by)_S 59 _t (the)_S 59 _t (context;)_S 60 _t (one)_S 59 _t (is)_S 59 _t (unambiguously)_S 59 _t (a)_S 59 _t (reference)_S 59 _t (to)_S 60 _t (a)_S 59 _t (scalar)_S 59 _t (variable)_S 59 _t (the)_S 59 _t (other)_S 59 _t (is)_S 60 _t (to)_S 59 _t (a)_S 59 _t (generic)_S 1417 3280 _m (procedure.)_S 2017 3047 _m (A)_S 67 _t (more)_S 67 _t (difficult)_S 67 _t (case)_S 67 _t (could)_S 67 _t (be)_S 67 _t (say)_S 67 _t (the)_S 67 _t (following,)_S /CourierR 600 _ff 1417 2622 _m (REAL,DIMENSION\(5\)::real,x,y)_S 1417 2422 _m (COMPLEX)_S 120 _t (::)_S 120 _t (z)_S 1417 2222 _m (...)_S 1417 2022 _m (x=real\(y\))_S 1417 1480 _m (4)_S _ep _bp /CourierR 600 _ff 0 14032 9922 _ornt /_r { sflg {/_t {0 rmoveto}bdef /ron false def} { /_S /show load def /_t {0 rmoveto}bdef /ron false def}ifelse }bdef 1417 12478 _m (y=real\(2\))_S 1417 12278 _m (z=real\(\(x,y\)\))_S /Times-RomanR 600 _ff 1417 11837 _m (The)_S 77 _t (first)_S 77 _t (and)_S 76 _t (last)_S 77 _t (references)_S 77 _t (to)_S 76 _t (real)_S 77 _t (should)_S 76 _t (not)_S 77 _t (cause)_S 77 _t (any)_S 77 _t (problem)_S 76 _t (they)_S 77 _t (are)_S 76 _t (unambiguously)_S 1417 11604 _m (references)_S 52 _t (to)_S 52 _t (the)_S 51 _t (generic)_S 52 _t (conversion)_S 52 _t (function)_S 52 _t (real\(\),)_S 52 _t (the)_S 52 _t (first)_S 52 _t (with)_S 52 _t (a)_S 52 _t (real)_S 52 _t (argument)_S 52 _t (the)_S 52 _t (last)_S 52 _t (with)_S 1417 11371 _m (a)_S 103 _t (complex)_S 103 _t (argument.)_S 102 _t (It)_S 103 _t (is)_S 103 _t (the)_S 103 _t (middle)_S 102 _t (reference)_S 103 _t (that)_S 103 _t (is)_S 103 _t (potentially)_S 102 _t (ambiguous.)_S 103 _t (Is)_S 103 _t (this)_S 103 _t (a)_S 1417 11138 _m (reference)_S 66 _t (to)_S 66 _t (the)_S 67 _t (array)_S 66 _t (element)_S 67 _t (real\(2\))_S 66 _t (or)_S 66 _t (to)_S 67 _t (the)_S 66 _t (generic)_S 66 _t (function)_S 67 _t (converting)_S 66 _t (the)_S 66 _t (integer)_S 67 _t (value)_S 1417 10905 _m (2)_S 71 _t (to)_S 70 _t (the)_S 70 _t (corresponding)_S 71 _t (real)_S 70 _t (value.)_S 70 _t (Most)_S 70 _t (programmers)_S 71 _t (would)_S 70 _t (I)_S 70 _t (think)_S 71 _t (assume)_S 70 _t (that)_S 71 _t (the)_S 70 _t (class)_S 70 _t (1)_S 1417 10672 _m (entity,)_S 66 _t (the)_S 65 _t (array)_S 66 _t (element)_S 66 _t (reference,)_S 65 _t (is)_S 66 _t (what)_S 65 _t (is)_S 66 _t (intended)_S 66 _t (and)_S 65 _t (in)_S 66 _t (such)_S 66 _t (cases)_S 65 _t (this)_S 66 _t (is)_S 66 _t (what)_S 65 _t (should)_S 1417 10439 _m (be)_S 54 _t (provided.)_S 55 _t (The)_S 55 _t (variable)_S 54 _t (use)_S 55 _t (should)_S 54 _t (mask)_S 55 _t (the)_S 55 _t (specific)_S 54 _t (clashing)_S 55 _t (function)_S 55 _t (reference.)_S 55 _t (However,)_S 1417 10206 _m (it)_S 54 _t (should)_S 54 _t (not)_S 54 _t (as)_S 55 _t (appears)_S 54 _t (to)_S 54 _t (be)_S 54 _t (the)_S 54 _t (current)_S 54 _t (interpretation,)_S 54 _t (mask)_S 54 _t (all)_S 55 _t (generic)_S 54 _t (references)_S 54 _t (and)_S 54 _t (hence)_S 1417 9973 _m (render)_S 67 _t (this)_S 67 _t (program)_S 67 _t (illegal.)_S 2017 9740 _m (Provided)_S 60 _t (the)_S 60 _t (constructor)_S 60 _t (is)_S 60 _t (classified)_S 59 _t (as)_S 60 _t (a)_S 60 _t (generic)_S 60 _t (procedure,)_S 60 _t (the)_S 60 _t (type)_S 60 _t (names)_S 59 _t (could)_S 60 _t (be)_S 1417 9507 _m (classified)_S 49 _t (as)_S 48 _t (forming)_S 49 _t (a)_S 49 _t (class)_S 48 _t (of)_S 49 _t (their)_S 48 _t (own)_S 49 _t (where)_S 48 _t (strict)_S 49 _t (uniqueness)_S 48 _t (would)_S 49 _t (be)_S 48 _t (required)_S 49 _t (and)_S 48 _t (where)_S 1417 9274 _m (intrinsic)_S 89 _t (and)_S 90 _t (derived)_S 89 _t (types)_S 89 _t (would)_S 90 _t (form)_S 89 _t (part)_S 89 _t (of)_S 90 _t (the)_S 89 _t (same)_S 89 _t (class;)_S 90 _t (thereby)_S 89 _t (removing)_S 89 _t (another)_S 1417 9041 _m (unnecessary)_S 61 _t (irregularity)_S 61 _t (in)_S 61 _t (the)_S 60 _t (treatment)_S 61 _t (of)_S 61 _t (types.)_S 60 _t (Variables)_S 61 _t (of)_S 61 _t (this)_S 61 _t (name)_S 60 _t (would)_S 61 _t (also)_S 60 _t (become)_S 1417 8808 _m (possible)_S 59 _t (subject)_S 58 _t (to)_S 59 _t (the)_S 59 _t (same)_S 58 _t (sort)_S 59 _t (of)_S 59 _t (restrictions)_S 59 _t (that)_S 58 _t (apply)_S 59 _t (to)_S 59 _t (variables)_S 58 _t (with)_S 59 _t (the)_S 59 _t (same)_S 58 _t (name)_S 59 _t (as)_S 1417 8575 _m (the)_S 67 _t (intrinsic)_S 67 _t (type,)_S 67 _t (c.f.)_S 67 _t (real.)_S 1417 7846 _m /Times-BoldR 720 _ff (3)_S 80 _t (Proposed)_S 80 _t (Edits)_S 80 _t (to)_S 80 _t (IS)_S 80 _t (1539)_S 80 _t (:)_S 80 _t (1991)_S /Times-RomanR 600 _ff 1417 7603 _m (These)_S 61 _t (edits)_S 62 _t (are)_S 61 _t (proposed)_S 62 _t (as)_S 61 _t (an)_S 62 _t (indication)_S 61 _t (to)_S 62 _t (the)_S 61 _t (editorial)_S 61 _t (committee)_S 62 _t (as)_S 61 _t (to)_S 61 _t (the)_S 62 _t (sort)_S 61 _t (of)_S 62 _t (changes)_S 1417 7370 _m (that)_S 70 _t (would)_S 70 _t (be)_S 70 _t (necessary)_S 71 _t (to)_S 70 _t (implement)_S 70 _t (these)_S 70 _t (proposals.)_S 71 _t (They)_S 70 _t (too)_S 70 _t (are)_S 70 _t (presented)_S 70 _t (in)_S 70 _t (two)_S 71 _t (parts.)_S 1417 7137 _m (The)_S 59 _t (first)_S 59 _t (part)_S 60 _t (must)_S 59 _t (be)_S 59 _t (included)_S 60 _t (if)_S 59 _t (the)_S 60 _t (second)_S 59 _t (is)_S 59 _t (implemented)_S 60 _t (but)_S 59 _t (the)_S 59 _t (second)_S 60 _t (could)_S 59 _t (be)_S 60 _t (omitted)_S 1417 6904 _m (and)_S 67 _t (still)_S 67 _t (leave)_S 67 _t (a)_S 67 _t (functionally)_S 67 _t (useful)_S 67 _t (addition)_S 67 _t (to)_S 67 _t (the)_S 67 _t (language.)_S 1417 6438 _m /Times-BoldR 600 _ff (3.1)_S 67 _t (Keywords)_S 67 _t (in)_S 67 _t (constructors)_S 67 _t (edits)_S /Times-RomanR 600 _ff 1417 5972 _m /Times-BoldR 600 _ff (3.1.1)_S 67 _t /Times-RomanR 600 _ff (4.4.4)_S 2617 5972 _m ([37/5])_S 2017 5737 _m (Replace)_S 67 _t (")_S /Times-ItalicR 600 _ff (expr-list)_S /Times-RomanR 600 _ff (")_S 67 _t (with)_S 67 _t (")_S /Times-ItalicR 600 _ff (comp-expr-list)_S /Times-RomanR 600 _ff (")_S 2017 5504 _m (Add)_S 67 _t 1417 5269 _m (R430.1)_S 2617 5269 _m /Times-ItalicR 600 _ff (comp-expr)_S /Times-RomanR 600 _ff 3817 5269 _m /Times-BoldR 600 _ff (is)_S /Times-RomanR 600 _ff 4417 5269 _m ([)_S /Times-ItalicR 600 _ff (component-name)_S /Times-RomanR 600 _ff (=])_S /Times-ItalicR 600 _ff (expr)_S /Times-RomanR 600 _ff 1417 4801 _m (Constraint:)_S 2617 4801 _m (Each)_S 60 _t /Times-ItalicR 600 _ff (component-name)_S /Times-RomanR 600 _ff 60 _t (must)_S 60 _t (be)_S 59 _t (the)_S 60 _t (name)_S 60 _t (of)_S 60 _t (a)_S 59 _t (component)_S 60 _t (specified)_S 60 _t (in)_S 60 _t (the)_S 59 _t (type)_S 2617 4568 _m (definition)_S 67 _t (for)_S 67 _t (the)_S 67 _t (type-name.)_S 1417 4100 _m (Constraint:)_S 2617 4100 _m (The)_S 67 _t /Times-ItalicR 600 _ff (component-name)_S /Times-RomanR 600 _ff (=)_S 68 _t (may)_S 68 _t (be)_S 68 _t (omitted)_S 68 _t (only)_S 68 _t (if)_S 68 _t (it)_S 68 _t (has)_S 68 _t (been)_S 68 _t (omitted)_S 68 _t (from)_S 68 _t (each)_S 2617 3865 _m (preceding)_S 67 _t /Times-ItalicR 600 _ff (comp-expr)_S /Times-RomanR 600 _ff 67 _t (in)_S 67 _t (the)_S 67 _t /Times-ItalicR 600 _ff (comp-expr-list)_S /Times-RomanR 600 _ff (.)_S 67 _t 1417 3399 _m /Times-BoldR 600 _ff (3.1.2)_S 67 _t /Times-RomanR 600 _ff (4.4.4)_S 2617 3399 _m ([37/7])_S 2017 3166 _m (After)_S 67 _t ("type.")_S 67 _t (add)_S 67 _t (sentence)_S 1417 2933 _m (The)_S 63 _t (correspondence)_S 63 _t (between)_S 64 _t (expression)_S 63 _t (and)_S 63 _t (component)_S 63 _t (may)_S 63 _t (be)_S 63 _t (indicated)_S 64 _t (by)_S 63 _t (the)_S 63 _t (component)_S 1417 2700 _m (name)_S 48 _t (appearing)_S 49 _t (explicitly)_S 49 _t (in)_S 48 _t (the)_S 49 _t (form)_S 48 _t (of)_S 49 _t (a)_S 48 _t (keyword)_S 49 _t (in)_S 48 _t (a)_S 49 _t (manner)_S 48 _t (similar)_S 49 _t (to)_S 48 _t (procedure)_S 49 _t (argument)_S 1417 2467 _m (association)_S 67 _t (\(12.4.1\).)_S 8857 1480 _m /CourierR 600 _ff (5)_S /Times-RomanR 600 _ff _ep _bp /Times-RomanR 600 _ff 0 14032 9922 _ornt /_r { sflg {/_t {0 rmoveto}bdef /ron false def} { /_S /show load def /_t {0 rmoveto}bdef /ron false def}ifelse }bdef 1417 12470 _m /Times-BoldR 600 _ff (3.2)_S 67 _t (Constructor)_S 67 _t (as)_S 67 _t (generic)_S 67 _t (function)_S /Times-RomanR 600 _ff 1417 12004 _m /Times-BoldR 600 _ff (3.2.1)_S 67 _t /Times-RomanR 600 _ff 67 _t (4.4.4)_S 2617 12004 _m ([37/2])_S 2017 11771 _m (After)_S 67 _t ("corresponding")_S 67 _t (add)_S 67 _t ("generic)_S 67 _t (function)_S 67 _t (reference)_S 67 _t (that)_S 67 _t (is)_S 67 _t (a")_S 1417 11536 _m /Times-ItalicR 600 _ff ({{{)_S 67 _t 2017 11536 _m (I)_S 94 _t (believe)_S 95 _t (that)_S 94 _t (this)_S 94 _t (is)_S 95 _t (actually)_S 94 _t (the)_S 95 _t (only)_S 94 _t (essential)_S 94 _t (edit)_S 95 _t (required)_S 94 _t (to)_S 94 _t (allow)_S 95 _t (the)_S 2017 11303 _m (functionality)_S 67 _t (required.)_S 134 _t 8737 11303 _m (}}})_S /Times-RomanR 600 _ff 2017 10839 _m (The)_S 59 _t (following)_S 59 _t (are)_S 58 _t (a)_S 59 _t (set)_S 59 _t (of)_S 59 _t (proposed)_S 58 _t (edits)_S 59 _t (which)_S 59 _t (implement)_S 59 _t (this)_S 59 _t (proposed)_S 58 _t (clarification)_S 1417 10606 _m (and)_S 67 _t (reclassification)_S 67 _t (of)_S 67 _t (names.)_S 1417 10140 _m 67 _t /Times-BoldR 600 _ff (3.2.2)_S 67 _t /Times-RomanR 600 _ff (14.1.2)_S 2617 10140 _m ([241/23-25])_S 2017 9907 _m (Replace)_S 67 _t (item)_S 67 _t (\(1\))_S 67 _t (in)_S 67 _t (the)_S 67 _t (list)_S 67 _t (by)_S 67 _t (the)_S 67 _t (following)_S 67 _t (and)_S 67 _t (renumber)_S 67 _t (the)_S 67 _t (list.)_S 1417 9674 _m (\(1\))_S 2017 9674 _m (named)_S 78 _t (variables)_S 79 _t (that)_S 78 _t (are)_S 78 _t (not)_S 79 _t (statement)_S 78 _t (entities)_S 78 _t (\(14.1.3\),)_S 78 _t (named)_S 79 _t (constants,)_S 78 _t (statement)_S 2017 9441 _m (functions,)_S 54 _t (internal)_S 53 _t (procedures,)_S 54 _t (module)_S 53 _t (procedures,)_S 54 _t (dummy)_S 53 _t (procedures,)_S 54 _t (specific)_S 53 _t (names)_S 2017 9208 _m (for)_S 67 _t (intrinsic)_S 67 _t (procedures)_S 67 _t (and)_S 67 _t (namelist)_S 67 _t (group)_S 67 _t (names,)_S 1417 8742 _m (\(2\))_S 2017 8742 _m (named)_S 67 _t (control)_S 67 _t (constructs,)_S 1417 8276 _m (\(3\))_S 2017 8276 _m (type)_S 67 _t (names,)_S 67 _t (intrinsic)_S 67 _t (and)_S 67 _t (derived,)_S 1417 7810 _m (\(4\))_S 2017 7810 _m (generic)_S 67 _t (identifiers,)_S 1417 7344 _m /Times-BoldR 600 _ff (3.2.3)_S 67 _t /Times-RomanR 600 _ff (14.1.2)_S 3217 7344 _m ([241/33])_S 2017 7111 _m (Delete)_S 67 _t (",except)_S 67 _t (in)_S 67 _t (...generic)_S 67 _t (names)_S 67 _t (\(12.3.2.1\)")_S 1417 6645 _m /Times-BoldR 600 _ff (3.2.4)_S 67 _t /Times-RomanR 600 _ff (14.1.2)_S 3217 6645 _m ([241/35])_S 2017 6412 _m (Before)_S 67 _t ("intrinsic")_S 67 _t (add)_S 67 _t ("specific")_S 3217 6179 _m ([242/10])_S 2017 5946 _m (After)_S 67 _t ("SIN")_S 67 _t (add)_S 67 _t ("with)_S 67 _t (a)_S 67 _t (default)_S 67 _t (real)_S 67 _t (argument",)_S 67 _t (before)_S 67 _t ("intrinsic")_S 67 _t (add)_S 67 _t ("specific")_S 3217 5713 _m ([242/11])_S 2017 5480 _m (Add)_S 67 _t (sentence)_S 2017 5247 _m ("A)_S 55 _t (reference)_S 55 _t (with)_S 55 _t (an)_S 55 _t (argument)_S 55 _t (type)_S 55 _t (of)_S 55 _t (complex)_S 55 _t (or)_S 55 _t (any)_S 55 _t (real)_S 55 _t (kind)_S 55 _t (other)_S 55 _t (than)_S 55 _t (the)_S 55 _t (default)_S 1417 5014 _m (real)_S 67 _t (still)_S 67 _t (refers)_S 67 _t (to)_S 67 _t (the)_S 67 _t (generic)_S 67 _t (intrinsic)_S 67 _t (functions)_S 67 _t (identified)_S 67 _t (by)_S 67 _t (SIN.")_S 1417 4548 _m /Times-BoldR 600 _ff (3.2.5)_S 67 _t /Times-RomanR 600 _ff (14.1.2.3)_S 2617 4548 _m ([243/13+])_S 2017 4315 _m (Add)_S 67 _t (paragraph)_S 1417 4082 _m (If)_S 66 _t (an)_S 66 _t (interpretation)_S 66 _t (of)_S 66 _t (a)_S 67 _t (name)_S 66 _t (exists)_S 66 _t (as)_S 66 _t (a)_S 66 _t (reference)_S 66 _t (to)_S 66 _t (a)_S 66 _t (class)_S 67 _t (1)_S 66 _t (entity,)_S 66 _t (this)_S 66 _t (is)_S 66 _t (used)_S 66 _t (instead)_S 66 _t (of)_S 1417 3849 _m (a)_S 98 _t (generic)_S 99 _t (reference)_S 98 _t (via)_S 99 _t (the)_S 98 _t (same)_S 99 _t (name)_S 98 _t (even)_S 99 _t (if)_S 98 _t (such)_S 99 _t (an)_S 98 _t (interpretation)_S 99 _t (was)_S 98 _t (possible.)_S 99 _t (For)_S 1417 3616 _m (example,)_S 67 _t (in)_S 67 _t (the)_S 67 _t (following)_S 67 _t (program)_S 67 _t (fragment)_S /CourierR 600 _ff 1417 3191 _m (...)_S 1417 2991 _m (REAL)_S 120 _t (::)_S 120 _t (REAL\(5\),X,Y)_S 1417 2791 _m (COMPLEX)_S 120 _t (::)_S 120 _t (Z)_S 1417 2591 _m (...)_S 1417 2391 _m (X)_S 120 _t (=)_S 120 _t (REAL\(2\))_S 1417 2191 _m (Y)_S 120 _t (=)_S 120 _t (REAL\(2.0\))_S 1417 1991 _m (Z)_S 120 _t (=)_S 120 _t (REAL\(\(X,Y\)\))_S 1417 1480 _m (6)_S _ep _bp /CourierR 600 _ff 0 14032 9922 _ornt /_r { sflg {/_t {0 rmoveto}bdef /ron false def} { /_S /show load def /_t {0 rmoveto}bdef /ron false def}ifelse }bdef 1417 12478 _m (...)_S /Times-RomanR 600 _ff 1417 12037 _m (is)_S 68 _t (a)_S 67 _t (valid)_S 68 _t (program,)_S 68 _t (where)_S 67 _t /CourierR 600 _ff (X)_S /Times-RomanR 600 _ff 68 _t (is)_S 67 _t (assigned)_S 68 _t (the)_S 68 _t (value)_S 67 _t (of)_S 68 _t (the)_S 68 _t (second)_S 67 _t (element)_S 68 _t (of)_S 68 _t (the)_S 67 _t (array)_S 68 _t /CourierR 600 _ff (REAL)_S /Times-RomanR 600 _ff (,)_S 1417 11804 _m /CourierR 600 _ff (Y)_S /Times-RomanR 600 _ff 70 _t (is)_S 70 _t (assigned)_S 70 _t (the)_S 70 _t (value)_S 70 _t (produced)_S 70 _t (by)_S 69 _t (invoking)_S 70 _t (the)_S 70 _t (generic)_S 70 _t (type)_S 70 _t (conversion)_S 70 _t (intrinsic)_S 69 _t (function)_S 1417 11571 _m /CourierR 600 _ff (REAL)_S /Times-RomanR 600 _ff 71 _t (with)_S 70 _t (a)_S 71 _t (real)_S 70 _t (argument,)_S 71 _t (and)_S 71 _t /CourierR 600 _ff (Z)_S /Times-RomanR 600 _ff 70 _t (is)_S 71 _t (set)_S 70 _t (to)_S 71 _t (the)_S 71 _t (value)_S 70 _t (produced)_S 71 _t (by)_S 70 _t (calling)_S 71 _t (the)_S 70 _t (same)_S 71 _t (generic)_S 1417 11338 _m (function)_S 61 _t (with)_S 62 _t (a)_S 61 _t (complex)_S 62 _t (argument.)_S 61 _t (The)_S 62 _t (variant)_S 61 _t (of)_S 62 _t (the)_S 62 _t (generic)_S 61 _t (function)_S 62 _t (that)_S 61 _t (in)_S 62 _t (the)_S 61 _t (absence)_S 62 _t (of)_S 1417 11105 _m (the)_S 79 _t (array)_S 79 _t /CourierR 600 _ff (REAL)_S /Times-RomanR 600 _ff 79 _t (would)_S 79 _t (convert)_S 80 _t (an)_S 79 _t (integer)_S 79 _t (to)_S 79 _t (a)_S 79 _t (default)_S 79 _t (real,)_S 80 _t (is)_S 79 _t (rendered)_S 79 _t (inaccessible)_S 79 _t (by)_S 79 _t (the)_S 1417 10872 _m (declaration)_S 67 _t (of)_S 67 _t (the)_S 67 _t (array.)_S 8857 1480 _m /CourierR 600 _ff (7)_S /Times-RomanR 600 _ff _ep _ed end end %-12345X -------------------------------------------------------------------------- -- Dr.J.L.Schonfelder Director, Computing Services Dept. University of Liverpool, UK Phone: +44(51)794 3716 FAX : +44(51)794 3759 email: jls@liv.ac.uk