summaryrefslogtreecommitdiff
path: root/testsuite/tests/quantified-constraints/T15244.hs
Commit message (Collapse)AuthorAgeFilesLines
* Remove duplicate quantified constraintsSimon Peyton Jones2018-06-111-0/+69
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].