🚀 go-pugleaf

>Why, if the function f returns a pointer can I not write:
>
>       f(x)^.field := ...

I've always wondered this too.  All I can guess is that it make the parser
simpler not to allow both:

	Statement ::= Designator "(" ActualParameters ")"

   and

	Designator ::= Designator "(" ActualParameters ")"

 where
	Designator ::= Designator "^"
	Designator ::= Designator "[" ExprList "]"
	Designator ::= Designator "." Field
	Designator ::= QualifiedIdentifier

That doesn't look LALR(1), but I'm not sure.

Then again, M2 allows the syntax

	QualifiedIdentifier ::= Identifier { "." QualifiedIdentifier }

to screw up Designators (The semantic class of Identifier - ModuleName or Variable
is needed).


Warwick.
--
  _-_|\       warwick@cs.uq.oz.au
 /     *  <-- Computer Science Department,
 \_.-._/      University of Queensland,
      v       Brisbane, AUSTRALIA.