Make the "matchable-given" check happen first

Authored by simonpj.

Description

Make the "matchable-given" check happen first

This change makes the matchable-given check apply uniformly to

  • constraint tuples
  • natural numbers
  • Typeable

as well as to vanilla class constraints.

See Note [Instance and Given overlap] in TcInteract

Details

Committed
simonpjMay 18 2015, 7:45 AM
Parents
rGHCffc21506894c: Refactor tuple constraints
Branches
Unknown
Tags
Unknown
Build Status
Buildable 4061
Build 4092: GHC Continuous Integration (amd64/Linux)