diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2015-05-13 12:49:13 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2015-05-13 12:49:13 +0100 |
| commit | eb6ca851f553262efe0824b8dcbe64952de4963d (patch) | |
| tree | b73c8b448e7866e88895cc77055fac984bec5f1c /docs/backpack/algorithm.tex | |
| parent | ca173aa30467a0b1023682d573fcd94244d85c50 (diff) | |
| download | haskell-eb6ca851f553262efe0824b8dcbe64952de4963d.tar.gz | |
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
Diffstat (limited to 'docs/backpack/algorithm.tex')
0 files changed, 0 insertions, 0 deletions