[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