Comments
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 26 Sep 2014 13:42:40 +0000 (14:42 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 26 Sep 2014 13:42:40 +0000 (14:42 +0100)
compiler/typecheck/TcSimplify.lhs
compiler/typecheck/TcUnify.lhs

index ceb517d..d834763 100644 (file)
@@ -364,6 +364,7 @@ simplifyInfer _top_lvl apply_mr name_taus wanteds
          else do
 
       {     -- Step 7) Emit an implication
+            -- See Trac #9633 for an instructive example 
          let minimal_flat_preds = mkMinimalBySCs bound
                   -- See Note [Minimize by Superclasses]
              skol_info = InferSkol [ (name, mkSigmaTy [] minimal_flat_preds ty)
index b66f06b..389c4a3 100644 (file)
@@ -1071,9 +1071,9 @@ We must use the careful function lookupTcTyVar to see if a kind
 variable is filled or unifiable.  It checks for touchablity, and kind
 variables can certainly be untouchable --- for example the variable
 might be bound outside an enclosing existental pattern match that
-binds an inner kind variable, which we don't want ot escape outside.
+binds an inner kind variable, which we don't want to escape outside.
 
-This, or something closely related, was teh cause of Trac #8985.
+This, or something closely related, was the cause of Trac #8985.
 
 Note [Unifying kind variables]
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~