diff options
| author | Richard Eisenberg <rae@cs.brynmawr.edu> | 2018-04-02 15:32:04 -0400 |
|---|---|---|
| committer | Richard Eisenberg <rae@cs.brynmawr.edu> | 2018-04-02 17:24:29 -0400 |
| commit | d8d4266bf73790f65b223ec16f645763eaed8be3 (patch) | |
| tree | d43a1607c057f2d56b862ced3ca4f0012d0f4986 /compiler/typecheck/TcTyClsDecls.hs | |
| parent | ddf895577173106646cfc6f6d21be3d5651067bc (diff) | |
| download | haskell-d8d4266bf73790f65b223ec16f645763eaed8be3.tar.gz | |
Fix #14991.
It turns out that solveEqualities really does need to use simpl_top.
I thought that solveWanteds would be enough, and no existing test
case showed up the different. #14991 shows that we need simpl_top.
Easy enough to fix.
test case: dependent/should_compile/T14991
Diffstat (limited to 'compiler/typecheck/TcTyClsDecls.hs')
| -rw-r--r-- | compiler/typecheck/TcTyClsDecls.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/TcTyClsDecls.hs b/compiler/typecheck/TcTyClsDecls.hs index 6598942533..cdcc3bda01 100644 --- a/compiler/typecheck/TcTyClsDecls.hs +++ b/compiler/typecheck/TcTyClsDecls.hs @@ -1485,7 +1485,7 @@ So, the kind-checker must return both the new args (that is, Type Because we don't need this information in the kind-checking phase of checking closed type families, we don't require these extra pieces of -information in tc_fam_ty_pats. See also Note [tc_fam_ty_pats vs tcFamTyPats]. +information in tc_fam_ty_pats. Note [Failing early in kcDataDefn] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |