Comments only
authorSimon Peyton Jones <simonpj@microsoft.com>
Mon, 29 Feb 2016 14:16:18 +0000 (14:16 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Tue, 1 Mar 2016 17:08:32 +0000 (17:08 +0000)
compiler/typecheck/TcCanonical.hs

index 2da3153..a5fd412 100644 (file)
@@ -866,12 +866,13 @@ can_eq_app ev NomEq s1 t1 s2 t2
 
 -----------------------
 -- | Break apart an equality over a casted type
+-- looking like   (ty1 |> co1) ~ ty2   (modulo a swap-flag)
 canEqCast :: Bool         -- are both types flat?
           -> CtEvidence
           -> EqRel
           -> SwapFlag
-          -> TcType -> Coercion   -- LHS (res. RHS), the casted type
-          -> TcType -> TcType     -- RHS (res. LHS), both normal and pretty
+          -> TcType -> Coercion   -- LHS (res. RHS), ty1 |> co1
+          -> TcType -> TcType     -- RHS (res. LHS), ty2 both normal and pretty
           -> TcS (StopOrContinue Ct)
 canEqCast flat ev eq_rel swapped ty1 co1 ty2 ps_ty2
   = do { traceTcS "Decomposing cast" (vcat [ ppr ev