Comments only
authorSimon Peyton Jones <simonpj@microsoft.com>
Thu, 30 Aug 2018 10:54:49 +0000 (11:54 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 31 Aug 2018 11:56:44 +0000 (12:56 +0100)
compiler/specialise/SpecConstr.hs
compiler/types/Type.hs

index 2f6821c..0d57860 100644 (file)
@@ -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])
 
index 33cdae3..2529bfb 100644 (file)
@@ -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