From 293100ad15e07733bdd9a69922dc84f77a334e58 Mon Sep 17 00:00:00 2001 From: Matthew Pickering Date: Sun, 20 Dec 2020 21:10:39 +0000 Subject: Fix another haddock parse error --- compiler/GHC/Tc/Solver/Canonical.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'compiler/GHC/Tc/Solver/Canonical.hs') 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. -- cgit v1.2.1