[Haskell-cafe] Safe Haskell and instance coherence

[MigMit]

On Oct 11, 2012, at 6:23 PM, Mikhail Glushenkov <the.dead.shall.rise at gmail.com> wrote:

> Hello,
> 
> On Thu, Oct 11, 2012 at 3:54 PM, MigMit <miguelimo38 at 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.