diff options
| author | Matthew Pickering <matthewtpickering@gmail.com> | 2020-12-20 21:10:39 +0000 |
|---|---|---|
| committer | Matthew Pickering <matthewtpickering@gmail.com> | 2020-12-20 21:11:17 +0000 |
| commit | c46e54473427fd9b3c7104db731620108c785327 (patch) | |
| tree | 73356e99b6f437155fbbf9dac0251d11e9d2d269 | |
| parent | 659fcb14937e60510e3eea4c1211ea117419905b (diff) | |
| download | haskell-wip/haddock-parse-error2.tar.gz | |
Fix another haddock parse errorwip/haddock-parse-error2
| -rw-r--r-- | compiler/GHC/Tc/Solver/Canonical.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/GHC/Tc/Solver/Canonical.hs b/compiler/GHC/Tc/Solver/Canonical.hs index ce8bf24632..63a1b9c2a5 100644 --- a/compiler/GHC/Tc/Solver/Canonical.hs +++ b/compiler/GHC/Tc/Solver/Canonical.hs @@ -1073,7 +1073,7 @@ can_eq_nc' True _rdr_env _envs ev eq_rel ty1 ps_ty1 ty2 ps_ty2 -- If the type is TyConApp tc1 args1, then args1 really can't be less -- than tyConArity tc1. It could be *more* than tyConArity, but then we -- should have handled the case as an AppTy. That case only fires if - -- *both* sides of the equality are AppTy-like... but if one side is + -- _both_ sides of the equality are AppTy-like... but if one side is -- AppTy-like and the other isn't (and it also isn't a variable or -- saturated type family application, both of which are handled by -- can_eq_nc'), we're in a failure mode and can just fall through. |