[Haskell-cafe] Instance match surprise
wojtek at power.com.pl
Mon Feb 1 22:56:58 UTC 2016
On 01.02.2016 21:29, Tom Ellis wrote:
> If you want to know*why* the instance contexts are ignored then you'll have
> to ask someone who knows more about Prolog:)
I think I know. There is really no way of knowing that there is no
vicious little instance Eq ANY lurking deep down some obscure useless
module. It is called: open world assumption.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe