X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Fprelude%2FPrelRules.lhs;fp=ghc%2Fcompiler%2Fprelude%2FPrelRules.lhs;h=4fdec53451f55ec0ad2f2d709ced846ea34be9fa;hb=c45a0ac5fdc6a931c3bc1a45fd4967f54c2983ca;hp=5cbcdb314f78c3c3218f62a03aaeda6a2576ec8e;hpb=f207c9b98f6ef58a76a0ddb030e1239e082055af;p=ghc-hetmet.git

diff --git a/ghc/compiler/prelude/PrelRules.lhs b/ghc/compiler/prelude/PrelRules.lhs
index 5cbcdb3..4fdec53 100644
--- a/ghc/compiler/prelude/PrelRules.lhs
+++ b/ghc/compiler/prelude/PrelRules.lhs
@@ -36,7 +36,7 @@ import TysWiredIn	( boolTy, trueDataConId, falseDataConId )
 import TyCon		( tyConDataCons_maybe, isEnumerationTyCon, isNewTyCon )
 import DataCon		( dataConTag, dataConTyCon, dataConWorkId, fIRST_TAG )
 import CoreUtils	( cheapEqExpr, exprIsConApp_maybe )
-import Type		( tyConAppTyCon, eqType )
+import Type		( tyConAppTyCon, coreEqType )
 import OccName		( occNameUserString)
 import PrelNames	( unpackCStringFoldrName, unpackCStringFoldrIdKey, hasKey,
 			  eqStringName, unpackCStringIdKey )
@@ -420,7 +420,7 @@ match_append_lit [Type ty1,
 		  ]
   | unpk `hasKey` unpackCStringFoldrIdKey && 
     c1 `cheapEqExpr` c2
-  = ASSERT( ty1 `eqType` ty2 )
+  = ASSERT( ty1 `coreEqType` ty2 )
     Just (Var unpk `App` Type ty1
 		   `App` Lit (MachStr (s1 `appendFS` s2))
 		   `App` c1