Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/5c0f947b3081055d9ca6b275626c94d9dc49c2e0

>---------------------------------------------------------------

commit 5c0f947b3081055d9ca6b275626c94d9dc49c2e0
Author: Simon Peyton Jones <[email protected]>
Date:   Wed Jul 20 08:43:23 2011 +0100

    Coercions can be hashed just fine

>---------------------------------------------------------------

 compiler/coreSyn/CoreUtils.lhs |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/compiler/coreSyn/CoreUtils.lhs b/compiler/coreSyn/CoreUtils.lhs
index ea0ebfe..0eb3495 100644
--- a/compiler/coreSyn/CoreUtils.lhs
+++ b/compiler/coreSyn/CoreUtils.lhs
@@ -1229,10 +1229,10 @@ hash_expr env (Let (NonRec b r) e)    = hash_expr 
(extend_env env b) e * fast_ha
 hash_expr env (Let (Rec ((b,_):_)) e) = hash_expr (extend_env env b) e
 hash_expr env (Case e _ _ _)         = hash_expr env e
 hash_expr env (Lam b e)                      = hash_expr (extend_env env b) e
+hash_expr env (Coercion co)           = fast_hash_co env co
 hash_expr _   (Type _)                = WARN(True, text "hash_expr: type") 1
 -- Shouldn't happen.  Better to use WARN than trace, because trace
 -- prevents the CPR optimisation kicking in for hash_expr.
-hash_expr _   (Coercion _)            = WARN(True, text "hash_expr: coercion") 
1
 
 fast_hash_expr :: HashEnv -> CoreExpr -> Word32
 fast_hash_expr env (Var v)              = hashVar env v



_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc

Reply via email to