[Haskell-cafe] Re: Fractional/negative fixity?

Nils Anders Danielsson nad at cs.chalmers.se
Wed Nov 8 09:45:48 EST 2006

On Wed, 08 Nov 2006, "Arie Peterson" <ariep at xs4all.nl> wrote:

> Specifying precedence 'lazily', by a partial order, does not suffer from
> this problem, because it only requires you to make local decisions.

Assuming we only want to be able to make local decisions.

Let's say that we want == to bind less tightly than +, as it is now.
Let's also say that Eq and Num are defined in two different
_unrelated_ modules (this of course implies that Eq is not a
superclass of Num). Where and how would we specify the relation
between these two operators?


More information about the Haskell-Cafe mailing list