Liberalising IncoherentInstances

Aleksey Khudyakov alexey.skladnoy at
Mon Jul 29 10:20:05 CEST 2013

> Incidentally, I think it'd be an improvement to localise the Overlapping/Incoherent flags to particular instance declarations, via pragmas, something like
>         instance C [a] where
>           {-# ALLOW_OVERLAP #-}
>           op x = ....
> Similarly {-# ALLOW_INCOHERENT #-}.   Having -XOverlappingInstances for the whole module is a bit crude., and might be missed when looking at an instance.   How valuable would this be?
+1 It would be nice to have same option for undecidable instances as well.

More information about the Glasgow-haskell-users mailing list