[commit: ghc] master: Comments only (5851885)
git at git.haskell.org
git at git.haskell.org
Fri Aug 31 18:05:56 UTC 2018
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/585188529d6a8b98f5e0f1985bce23a022dd8b7e/ghc
>---------------------------------------------------------------
commit 585188529d6a8b98f5e0f1985bce23a022dd8b7e
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date: Thu Aug 30 11:54:49 2018 +0100
Comments only
>---------------------------------------------------------------
585188529d6a8b98f5e0f1985bce23a022dd8b7e
compiler/specialise/SpecConstr.hs | 2 +-
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 2f6821c..0d57860 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 33cdae3..2529bfb 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
More information about the ghc-commits
mailing list