Skip to content
Snippets Groups Projects
Commit a169149c authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Remove duplicate quantified constraints 

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].
parent 25597a97
No related merge requests found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment