11 Oct
2012
11 Oct
'12
10:33 p.m.
On Oct 11, 2012, at 6:23 PM, Mikhail Glushenkov <the.dead.shall.rise@gmail.com> wrote:
Hello,
On Thu, Oct 11, 2012 at 3:54 PM, MigMit <miguelimo38@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.