[Haskell-cafe] Functional Dependencies conflicts

[Ben Millwood]

On Sun, Apr 18, 2010 at 12:45 AM, Daniel Fischer
<daniel.is.fischer at web.de> wrote:
> Am Sonntag 18 April 2010 01:23:07 schrieb Ben Millwood:
>> On Sat, Apr 17, 2010 at 9:50 PM, Daniel Fischer
>>
>> <daniel.is.fischer at web.de> wrote:
>> > {-# LANGUAGE OverlappingInstances, [...]
>>
>> but with caution:
>>
>> <quicksilver> using OverlappingInstances is the haskell equivalent of
>> buying a new car with high safety rating and replacing the air bags
>> with poison gas, pouring lubricating oil all over the brake pads,
>> cutting the cable to the parking brake, and gluing broken glass shards
>> all over the steering wheel.
>>
>> :)
>
> Wow. Makes me wonder what quicksilver says about IncoherentInstances.
>

Actually, I found that quote while grepping my logs for this one:

<@quicksilver> undecidable just turns of the termination checker,
which can be find if you're doing something clever outside of the
heuristics of the GHC termination checker.
<@quicksilver> overlapping actually shatters the language into tiny
inconsistent pieces
<@quicksilver> and incoherent files off the edges of the pieces so
they don't even fit together any more.

and now I should probably stop using the words of other people
possibly without their knowledge :P