On Sun, Apr 18, 2010 at 12:45 AM, Daniel Fischer
<daniel.is.fisc...@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.fisc...@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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
