From: t-peterj@microsoft.com <unknown>
Date: Thu, 18 Jun 2009 09:22:35 +0000 (+0000)
Subject: Comment fix: use the same variable names in the conclusion as in the premise.
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=fe204a040a0381a1c18be10b9870cb3d20b0486b

Comment fix: use the same variable names in the conclusion as in the premise.
---

diff --git a/compiler/simplCore/Simplify.lhs b/compiler/simplCore/Simplify.lhs
index b38bdc8..d90c5db 100644
--- a/compiler/simplCore/Simplify.lhs
+++ b/compiler/simplCore/Simplify.lhs
@@ -871,8 +871,8 @@ simplCast env body co0 cont0
          | (_l1, t1) <- coercionKind co2
 		-- 	e |> (g1 :: S1~L) |> (g2 :: L~T1)
                 -- ==>
-                --      e,                       if T1=T2
-                --      e |> (g1 . g2 :: T1~T2)  otherwise
+                --      e,                       if S1=T1
+                --      e |> (g1 . g2 :: S1~T1)  otherwise
                 --
                 -- For example, in the initial form of a worker
                 -- we may find  (coerce T (coerce S (\x.e))) y