On Oct 11, 2012, at 6:23 PM, Mikhail Glushenkov <[email protected]> wrote:
> Hello, > > On Thu, Oct 11, 2012 at 3:54 PM, MigMit <[email protected]> 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 [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
