X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FcoreSyn%2FCoreUtils.lhs;h=44ca27a9ab2079b0c0691d7ac71084759e400358;hb=a15972f1b72500a0bf0edca948314ea9fbc46ec3;hp=eb9ea41b2cf2564abddbbf1cba0162df4a1127a2;hpb=7e8cba32c6f045dde3db8a9ddc9831ec8ab4ed43;p=ghc-hetmet.git

diff --git a/compiler/coreSyn/CoreUtils.lhs b/compiler/coreSyn/CoreUtils.lhs
index eb9ea41..44ca27a 100644
--- a/compiler/coreSyn/CoreUtils.lhs
+++ b/compiler/coreSyn/CoreUtils.lhs
@@ -154,7 +154,8 @@ applyTypeToArgs e op_ty (Type ty : args)
     go rev_tys rest_args        = applyTypeToArgs e op_ty' rest_args
 			 	where
 				  op_ty' = applyTysD msg op_ty (reverse rev_tys)
-				  msg = panic_msg e op_ty
+				  msg = ptext (sLit "applyTypeToArgs") <+> 
+		    			panic_msg e op_ty
 
 applyTypeToArgs e op_ty (_ : args)
   = case (splitFunTy_maybe op_ty) of
@@ -740,12 +741,12 @@ dataConInstPat :: (DataCon -> [Type])      -- function used to find arg tys
 --    ...
 --
 --  has representation type 
---   forall a. forall a1. forall b. (a :=: (a1,b)) => 
+--   forall a. forall a1. forall b. (a ~ (a1,b)) => 
 --     Int -> b -> T a
 --
 --  dataConInstPat fss us T1 (a1',b') will return
 --
---  ([a1'', b''], [c :: (a1', b'):=:(a1'', b'')], [x :: Int, y :: b''])
+--  ([a1'', b''], [c :: (a1', b')~(a1'', b'')], [x :: Int, y :: b''])
 --
 --  where the double-primed variables are created with the FastStrings and
 --  Uniques given as fss and us
@@ -801,7 +802,7 @@ exprIsConApp_maybe (Cast expr co)
 
 	-- The transformation applies iff we have
 	--	(C e1 ... en) `cast` co
-	-- where co :: (T t1 .. tn) :=: (T s1 ..sn)
+	-- where co :: (T t1 .. tn) ~ (T s1 ..sn)
 	-- That is, with a T at the top of both sides
 	-- The left-hand one must be a T, because exprIsConApp returned True
 	-- but the right-hand one might not be.  (Though it usually will.)