diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-09-10 11:42:03 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-09-10 11:47:48 +0100 |
| commit | e365d4963f1061878269502f256b4a56ca273a78 (patch) | |
| tree | f4e8bbf8e0516b77f1e984f65d70de402a43f88c /docs/users_guide/using.xml | |
| parent | dc8b06e8c8d5112bc6b4b7bda610e7b5a6adbcd3 (diff) | |
| download | haskell-e365d4963f1061878269502f256b4a56ca273a78.tar.gz | |
Improve the insolubility check when quantifying
See Note [Quantification with errors]
Fixes Trac #8262
Diffstat (limited to 'docs/users_guide/using.xml')
0 files changed, 0 insertions, 0 deletions