testsuite/tests/quantified-constraints/T15244.hs · 902ebcc2b95707319d37a19d6b23c342cc14b162 · Reinier Maas / GHC

Forked from Glasgow Haskell Compiler / GHC

Source project has a limited visibility.

6 years ago

Remove duplicate quantified constraints · a169149c

This is an easy fix for Trac #15244: just avoid adding
the same quantified Given constraint to the inert set twice.

See TcSMonad Note [Do not add duplicate quantified instances].

a169149c

History

Remove duplicate quantified constraints

Simon Peyton Jones authored 6 years ago

This is an easy fix for Trac #15244: just avoid adding
the same quantified Given constraint to the inert set twice.

See TcSMonad Note [Do not add duplicate quantified instances].

Code owners

Assign users and groups as approvers for specific file changes. Learn more.