Skip to content
Snippets Groups Projects
Commit 8ec42de6 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files
parent f9073e3d
No related branches found
No related tags found
No related merge requests found
Pipeline #101713 failed
......@@ -1788,6 +1788,7 @@ type ApproxWC = ( Bag Ct -- Free quantifiable constraints
, Bag Ct ) -- Free non-quantifiable constraints
-- due to shape, or enclosing equality
approximateWC :: Bool -> WantedConstraints -> Bag Ct
approximateWC include_non_quantifiable cts
| include_non_quantifiable = quant `unionBags` no_quant
| otherwise = quant
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment