query about precedence: "$", the lazy function application operator

Johannes Waldmann joe@isun.informatik.uni-leipzig.de
Thu, 30 May 2002 10:44:58 +0200 (MET DST)


>      f $ g x

using the notations from http://haskell.org/onlinereport/lexemes.html,
`f' and `g' are varids, while `$' is a conid.

see also http://haskell.org/onlinereport/exps.html, `f $ g x' is parsed as  

   exp -> exp qop exp -> exp qop ( fexp ) -> exp qop (fexp axep)

(regardless of precedences)

best regards,
-- 
-- Johannes Waldmann ---- http://www.informatik.uni-leipzig.de/~joe/ --
-- joe@informatik.uni-leipzig.de -- phone/fax (+49) 341 9732 204/252 --