diff options
| -rw-r--r-- | compiler/specialise/SpecConstr.hs | 2 | ||||
| -rw-r--r-- | compiler/types/Type.hs | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/compiler/specialise/SpecConstr.hs b/compiler/specialise/SpecConstr.hs index 2f6821c850..0d57860941 100644 --- a/compiler/specialise/SpecConstr.hs +++ b/compiler/specialise/SpecConstr.hs @@ -507,7 +507,7 @@ sc_force to True when calling specLoop. This flag does four things: * Ignore specConstrCount, to make arbitrary numbers of specialisations (see specialise) * Specialise even for arguments that are not scrutinised in the loop - (see argToPat; Trac #4488) + (see argToPat; Trac #4448) * Only specialise on recursive types a finite number of times (see is_too_recursive; Trac #5550; Note [Limit recursive specialisation]) diff --git a/compiler/types/Type.hs b/compiler/types/Type.hs index 33cdae3e63..2529bfb89d 100644 --- a/compiler/types/Type.hs +++ b/compiler/types/Type.hs @@ -1056,7 +1056,7 @@ piResultTys ty orig_args@(arg:args) | otherwise = -- We have not run out of arguments, but the function doesn't -- have the right kind to apply to them; so panic. - -- Without hte explicit isEmptyVarEnv test, an ill-kinded type + -- Without the explicit isEmptyVarEnv test, an ill-kinded type -- would give an infniite loop, which is very unhelpful -- c.f. Trac #15473 pprPanic "piResultTys2" (ppr ty $$ ppr orig_args $$ ppr all_args) @@ -1090,7 +1090,7 @@ So In other words wwe must intantiate the forall! -Similarly (Trac #154218) +Similarly (Trac #15428) S :: forall k f. k -> f k and we are finding the kind of S * (* ->) Int Bool |