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.) Larry