On Wed, Jun 08, 2005 at 12:37:22PM +0200, "TSa (Thomas Sandla▀)" wrote:
: BTW, is -> on the 'symbolic unary' precedence level
: as its read-only companion \ ?.

No, -> introduces a term that happens to consist of a formal signature
and a block.  There are no ordinary expressions involved until you
get inside the block.  (Or set a default on one of the parameters, to
the extent that those are ordinary expressions.)


Reply via email to