class Function ?

[anatoli]

--- Ashley Yakeley wrote:
> f a 
>  reduces to
> funapp f a
>  reduces to
> funapp (funapp (funapp f)) a
>  reduces to
> etc.

Not necessarily. If "funapp" is a new keyword, 
and there's a new grammar rule along the lines of

  expression :: "funapp" expression expression

then it does not reduce to anything.
-- 
a.

__________________________________________________
Do you Yahoo!?
HotJobs - Search new jobs daily now
http://hotjobs.yahoo.com/