Re: [Haskell-cafe] Functional Dependencies conflicts

On Sun, Apr 18, 2010 at 12:45 AM, Daniel Fischer wrote:

Am Sonntag 18 April 2010 01:23:07 schrieb Ben Millwood:

...

On Sat, Apr 17, 2010 at 9:50 PM, Daniel Fischer

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