Path: news.cs.au.dk!news.net.uni-c.dk!uninett.no!news.maxwell.syr.edu!dispose.news.demon.net!demon!news-lond.gip.net!news-raspail.gip.net!news.gsl.net!gip.net!oleane!ciril.fr!univ-lille1.fr!news!univ-rennes1.fr!irisa.fr!not-for-mail From: Yoann Padioleau Newsgroups: comp.lang.beta Subject: Re: procedure call Date: 20 Jul 1999 09:25:11 +0200 Organization: IRISA, Campus de Beaulieu, 35042 Rennes Cedex, FRANCE Message-ID: References: NNTP-Posting-Host: hcand.irisa.fr X-Trace: news.irisa.fr 932455512 21953 131.254.50.32 (20 Jul 1999 07:25:12 GMT) X-Complaints-To: usenet@irisa.fr NNTP-Posting-Date: 20 Jul 1999 07:25:12 GMT X-Newsreader: Gnus v5.5/Emacs 20.3 Lines: 44 Xref: news.cs.au.dk comp.lang.beta:12033 nospam2159@cs.au.dk (Peter von der Ahé) writes: Excuse me for all the erros i made. This is what i mean : (# A: (# attribute : @ ingeger; method : (# ... #) #); toto : @A; do 1 -> toto.attribute; 2 -> toto.method (* ??? *) #) i found that the example below is more logical (# A: (# attribute : @ integer; method : @ (# ... #) #); toto : @A; do 1 -> toto.attribute; 2 -> toto.method #) > > YP> In on case, attribute is a @ and in the other it is a pattern. > YP> That's not the same thing. > > "attribute" is an instance of text (or a @ as you put it) in both > examples. "A" on the other hand is not, but what is it you think is > wrong with the line marked with (* ??? *) ? In on case, attribute is a @ and and method is a a pattern (instance vs type) > > /Peter -- pad