diff options
| author | simonpj@microsoft.com <unknown> | 2007-05-30 08:12:40 +0000 |
|---|---|---|
| committer | simonpj@microsoft.com <unknown> | 2007-05-30 08:12:40 +0000 |
| commit | fd7f8e936e50b3ee589efc36ac2fc54cc6c05300 (patch) | |
| tree | c9503a53bd250a8ee051331e79981831e11ecda9 /Makefile | |
| parent | 923ee9d360ed15331ac6faf8a6b4aca334fc0cee (diff) | |
| download | haskell-fd7f8e936e50b3ee589efc36ac2fc54cc6c05300.tar.gz | |
Fix bug in tcSimplifyInfer (Trac #1382)
When I rejigged constraint simplification when inferring types, I missed
a corner case. Somethign that it's distressingly easy to do. Anyway
this fixes it; see the comments in tcSimplifyInfer with the second call
to partition and extendLIEs.
The test is tcfail181.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions