compiler/typecheck/TcSimplify.lhs · e365d4963f1061878269502f256b4a56ca273a78 · gershomb / GHC · GitLab

Sep 10, 2013
e365d496
Improve the insolubility check when quantifying · e365d496
Simon Peyton Jones authored Sep 10, 2013
```
See Note [Quantification with errors]
Fixes Trac #8262
```
e365d496
Improve the insolubility check when quantifying
Simon Peyton Jones authored Sep 10, 2013
```
See Note [Quantification with errors]
Fixes Trac #8262
```