[Haskell-cafe] ANNOUNCE: vector-bytestring-0.0.0.0

Stephen Tetley stephen.tetley at gmail.com
Sun Oct 16 16:01:07 CEST 2011


On 16 October 2011 10:06, Bas van Dijk <v.dijk.bas at gmail.com> wrote:

> But is this a problem when both instances are exported from the same
> module and OverlappingInstances is only enabled in that module, as is
> the case here?
>

No - if the only instances defined are in the same module GHC would
pick the most specific one.

If there was no instance for Ivan's use-case of Vector Word8 in the
"offical" module, and he chose to define this more specific instance
elsewhere there is the potential for incoherence.



More information about the Haskell-Cafe mailing list