synthized attributes in eli

"Oguz Akyuz" <oguzakyuz@softhome.net>
26 Nov 2002 22:14:07 -0500

From comp.compilers

Related articles
*synthized attributes in eli oguzakyuz@softhome.net (Oguz Akyuz)* (2002-11-26)**
Re: synthized attributes in eli asloane@ics.mq.edu.au (Tony Sloane) (2002-12-01)

From:	"Oguz Akyuz" <oguzakyuz@softhome.net>
Newsgroups:	comp.compilers
Date:	26 Nov 2002 22:14:07 -0500
Organization:	http://groups.google.com/
Keywords:	tools, question
Posted-Date:	26 Nov 2002 22:14:07 EST

assume I have a small grammar like:
A: B / C .

When I try:
RULE: A ::= B COMPUTE
A.Type = B.Type;
END;

(Assume that both A and B have Type attributes and B.Type is something
defined)

I get an error like "miscomputation of A.Type" from eli system.

Why does eli demand me to also add the rule(since adding this solves
the problem):

RULE: A ::= C COMPUTE
A.Type = C.Type;
END;

I couldn't understand the point. I would be pleased if someone explains.
Thanks