diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2018-02-26 17:44:55 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2018-02-27 08:44:45 +0000 |
| commit | e99fdf775540440c1c58dc5ade3c5984dc49246f (patch) | |
| tree | c16d8e42fff7db054888e7835bc797c5626ef282 /testsuite/tests/perf | |
| parent | 40fa420ce97125724eff9001a8cdef29a96e789c (diff) | |
| download | haskell-e99fdf775540440c1c58dc5ade3c5984dc49246f.tar.gz | |
Fix a nasty bug in the pure unifier
The pure unifier was building an infinite type, through a defective
occurs check. So GHC went into an infinite loop.
Reason: we were neglecting the 'kco' part of the type, which
'unify_ty' maintains. Yikes.
The fix is easy. I refactored a bit to make it harder to
go wrong in future.
Diffstat (limited to 'testsuite/tests/perf')
0 files changed, 0 insertions, 0 deletions