From: simonpj Date: Thu, 27 Jan 2005 15:52:09 +0000 (+0000) Subject: [project @ 2005-01-27 15:52:09 by simonpj] X-Git-Tag: Initial_conversion_from_CVS_complete~1168 X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=dd08967feb68e33502db20daa7644359f3b4569f;p=ghc-hetmet.git [project @ 2005-01-27 15:52:09 by simonpj] Wibble --- diff --git a/ghc/compiler/prelude/PrelRules.lhs b/ghc/compiler/prelude/PrelRules.lhs index 8243b6e..3a3c02c 100644 --- a/ghc/compiler/prelude/PrelRules.lhs +++ b/ghc/compiler/prelude/PrelRules.lhs @@ -381,7 +381,7 @@ For dataToTag#, we can reduce if either (b) the argument is a variable whose unfolding is a known constructor \begin{code} -dataToTagRule [ty1, Var tag_to_enum `App` ty2 `App` tag] +dataToTagRule [Type ty1, Var tag_to_enum `App` Type ty2 `App` tag] | Just TagToEnumOp <- isPrimOpId_maybe tag_to_enum , ty1 `coreEqType` ty2 = Just tag -- dataToTag (tagToEnum x) ==> x