Typos in comments only [ci skip]
[ghc.git] / compiler / typecheck / TcSMonad.hs
index 1f1705d..1d0ddb3 100644 (file)
@@ -855,7 +855,7 @@ The idea is that
   - (K2c): If this holds, we can't pass through this triple infinitely
     often, because if we did then fs>=f, fw>=f, hence by (R2)
       * either fw>=fs, contradicting K2c
-      * or fs>=fw; so by the agument in K2b we can't have a loop
+      * or fs>=fw; so by the argument in K2b we can't have a loop
 
   - (K2d): if a not in s, we hae no further opportunity to apply the
     work item, similar to (K2b)
@@ -3052,6 +3052,7 @@ deferTcSForAllEq role loc kind_cos (bndrs1,body1) (bndrs2,body2)
                                , ic_status = IC_Unsolved
                                , ic_binds  = ev_binds
                                , ic_env    = env
+                               , ic_needed = emptyVarSet
                                , ic_info   = skol_info }
       ; updWorkListTcS (extendWorkListImplic imp)
       ; let cobndrs    = zip skol_tvs kind_cos