diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2018-08-30 11:54:49 +0100 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2018-08-31 12:56:44 +0100 |
commit | 585188529d6a8b98f5e0f1985bce23a022dd8b7e (patch) | |
tree | c3382cf70bd976c9afa700b61ce7d851dbc197e1 | |
parent | 5d3eb646b08433587aa38694afcaee6863160e40 (diff) | |
download | haskell-585188529d6a8b98f5e0f1985bce23a022dd8b7e.tar.gz |
Comments only
-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 |