diff options
| author | Matthew Pickering <matthewtpickering@gmail.com> | 2020-12-20 21:10:39 +0000 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-12-22 01:27:20 -0500 |
| commit | 293100ad15e07733bdd9a69922dc84f77a334e58 (patch) | |
| tree | c74a3f61ec952b85cdc97a9f3c4335d261fcc1c7 | |
| parent | f27a71449aeb86ad9afa02431b3bd1a62ff5400a (diff) | |
| download | haskell-293100ad15e07733bdd9a69922dc84f77a334e58.tar.gz | |
Fix another haddock parse error
| -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 7586bd5ed5..d01f8992b5 100644 --- a/compiler/GHC/Tc/Solver/Canonical.hs +++ b/compiler/GHC/Tc/Solver/Canonical.hs @@ -1074,7 +1074,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. |