On Oct 11, 2012, at 6:23 PM, Mikhail Glushenkov <the.dead.shall.r...@gmail.com>
wrote:
> Hello,
>
> On Thu, Oct 11, 2012 at 3:54 PM, MigMit <miguelim...@yandex.ru> wrote:
>> You have a bigger problem coming. Some extensions make multiple instances
>> OK, even in Safe Haskell. For example:
>>
>> {-# LANGUAGE FlexibleInstances, IncoherentInstances, Safe #-}
>> [...]
>
> Safe Haskell already disallows OverlappingInstances.
It doesn't. Overlapping instances are allowed in safe modules, provided that
they won't be used in other modules.
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
