Well let's see. First I'll assume that
prec $! = $
is how $! was specified. Thus we know both ?? < $ and $! = $. Let's
derive the relation between ?? and $!
?? < $
=> ?? < $! {$ = $!}
So I think that is pretty straight-forward. ":)" is a parse error... ;)
This does bring up the interesting case where we want an operator
between $ and $! (or some less offensive pair of operators with equal
precedence). This, like Danielsson's later post, is a case that
deserves some thought. If we handle such cases in a consistent way, I
think we might have something quite useful.
On the positive side, when I want $! to behave like $ (or perhaps more
appropriately =*= to behave like ==) then I don't have to lookup the
numeric precedence of $ (or ==). I can just say
prec $! = $
and be done with it. There's no arbitrary middle man.
Nick
On 11/8/06, Bulat Ziganshin <[EMAIL PROTECTED]> wrote:
Hello Nicolas,
Wednesday, November 8, 2006, 1:25:23 AM, you wrote:
> prec ?? < $
> over-specification). You want ?? to bind more tightly than does $;
> that's exactly what this approach would let you specify.
and how then compiler will guess that is relational priority of this
operator comparing to '$!' ? :)
--
Best regards,
Bulat mailto:[EMAIL PROTECTED]
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
