diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2018-08-21 15:57:56 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2018-08-21 16:03:21 +0100 |
| commit | 43b08cfbac5ce7ad6fc245651329094896de06e0 (patch) | |
| tree | 9011abea19ca52380cbbff8fcaf2a9fbaddc9512 /compiler/main | |
| parent | 828e949318399752630f80f1fbefbbea08c55995 (diff) | |
| download | haskell-43b08cfbac5ce7ad6fc245651329094896de06e0.tar.gz | |
Add a solveEqualities to tcClassDecl1
Trac #15505 showed that, when we have a type error, we
could have an unfilled-in coercion hole. We don't want an
assertion error in that case.
The underlying cause is that tcClassDecl1 should call
solveEqualities to fully solve all top-level equalities
(or fail in the attempt).
I also refactored the ClassDecl case for tcTyClDecl1 into
a new function tcClassDecl1. That makes it symmetrical
with the others.
Diffstat (limited to 'compiler/main')
0 files changed, 0 insertions, 0 deletions