From dd08967feb68e33502db20daa7644359f3b4569f Mon Sep 17 00:00:00 2001 From: simonpj Date: Thu, 27 Jan 2005 15:52:09 +0000 Subject: [PATCH] [project @ 2005-01-27 15:52:09 by simonpj] Wibble --- ghc/compiler/prelude/PrelRules.lhs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 1.7.10.4