- , Just e2' <- expandId (lookupRnInScope env v2)
- = eqExpr (nukeRnEnvR env) e1 e2'
-
-eqExpr _ (Lit lit1) (Lit lit2) = lit1 == lit2
-eqExpr env (App f1 a1) (App f2 a2) = eqExpr env f1 f2 && eqExpr env a1 a2
-eqExpr env (Lam v1 e1) (Lam v2 e2) = eqExpr (rnBndr2 env v1 v2) e1 e2
-eqExpr env (Note n1 e1) (Note n2 e2) = eq_note env n1 n2 && eqExpr env e1 e2
-eqExpr env (Cast e1 co1) (Cast e2 co2) = tcEqTypeX env co1 co2 && eqExpr env e1 e2
-eqExpr env (Type t1) (Type t2) = tcEqTypeX env t1 t2
-
-eqExpr env (Let (NonRec v1 r1) e1)
- (Let (NonRec v2 r2) e2) = eqExpr env r1 r2
- && eqExpr (rnBndr2 env v1 v2) e1 e2
-eqExpr env (Let (Rec ps1) e1)
- (Let (Rec ps2) e2) = equalLength ps1 ps2
- && and (zipWith eq_rhs ps1 ps2)
- && eqExpr env' e1 e2
- where
- env' = foldl2 rn_bndr2 env ps2 ps2
- rn_bndr2 env (b1,_) (b2,_) = rnBndr2 env b1 b2
- eq_rhs (_,r1) (_,r2) = eqExpr env' r1 r2
-eqExpr env (Case e1 v1 t1 a1)
- (Case e2 v2 t2 a2) = eqExpr env e1 e2
- && tcEqTypeX env t1 t2
- && equalLength a1 a2
- && and (zipWith (eq_alt env') a1 a2)
- where
- env' = rnBndr2 env v1 v2
-
-eqExpr _ _ _ = False
-
-eq_alt :: RnEnv2 -> CoreAlt -> CoreAlt -> Bool
-eq_alt env (c1,vs1,r1) (c2,vs2,r2) = c1==c2 && eqExpr (rnBndrs2 env vs1 vs2) r1 r2
+ , Just e2' <- expandUnfolding (id_unfolding_fun (lookupRnInScope env v2))
+ = eqExpr id_unfolding_fun (nukeRnEnvR env) e1 e2'
+
+eqExpr _ _ (Lit lit1) (Lit lit2) = lit1 == lit2
+eqExpr idu env (App f1 a1) (App f2 a2) = eqExpr idu env f1 f2 && eqExpr idu env a1 a2
+eqExpr idu env (Lam v1 e1) (Lam v2 e2) = eqExpr idu (rnBndr2 env v1 v2) e1 e2
+eqExpr idu env (Note n1 e1) (Note n2 e2) = eq_note env n1 n2 && eqExpr idu env e1 e2
+eqExpr idu env (Cast e1 co1) (Cast e2 co2) = tcEqTypeX env co1 co2 && eqExpr idu env e1 e2
+eqExpr _ env (Type t1) (Type t2) = tcEqTypeX env t1 t2
+
+eqExpr idu env (Let (NonRec v1 r1) e1)
+ (Let (NonRec v2 r2) e2) = eqExpr idu env r1 r2
+ && eqExpr idu (rnBndr2 env v1 v2) e1 e2
+eqExpr idu env (Let (Rec ps1) e1)
+ (Let (Rec ps2) e2) = equalLength ps1 ps2
+ && and (zipWith eq_rhs ps1 ps2)
+ && eqExpr idu env' e1 e2
+ where
+ env' = foldl2 rn_bndr2 env ps2 ps2
+ rn_bndr2 env (b1,_) (b2,_) = rnBndr2 env b1 b2
+ eq_rhs (_,r1) (_,r2) = eqExpr idu env' r1 r2
+eqExpr idu env (Case e1 v1 t1 a1)
+ (Case e2 v2 t2 a2) = eqExpr idu env e1 e2
+ && tcEqTypeX env t1 t2
+ && equalLength a1 a2
+ && and (zipWith eq_alt a1 a2)
+ where
+ env' = rnBndr2 env v1 v2
+ eq_alt (c1,vs1,r1) (c2,vs2,r2)
+ = c1==c2 && eqExpr idu (rnBndrs2 env' vs1 vs2) r1 r2
+eqExpr _ _ _ _ = False