From fc867aa70e3bc8753287cf1f5e9a5adb05c38dc6 Mon Sep 17 00:00:00 2001
From: "simonpj@microsoft.com" <unknown>
Date: Fri, 4 May 2007 11:03:41 +0000
Subject: [PATCH] Warning police
---
compiler/simplCore/Simplify.lhs | 3 +--
compiler/typecheck/TcTyDecls.lhs | 4 ++--
2 files changed, 3 insertions(+), 4 deletions(-)
diff --git a/compiler/simplCore/Simplify.lhs b/compiler/simplCore/Simplify.lhs
index cab6460e7623..f27dcab7cf67 100644
--- a/compiler/simplCore/Simplify.lhs
+++ b/compiler/simplCore/Simplify.lhs
@@ -17,8 +17,7 @@ import Id
import Var
import IdInfo
import Coercion
-import DataCon ( dataConTyCon, dataConRepStrictness, dataConUnivTyVars )
-import TyCon ( tyConArity )
+import DataCon ( dataConRepStrictness, dataConUnivTyVars )
import CoreSyn
import NewDemand ( isStrictDmd )
import PprCore ( pprParendExpr, pprCoreExpr )
diff --git a/compiler/typecheck/TcTyDecls.lhs b/compiler/typecheck/TcTyDecls.lhs
index c1a3389c9c9e..d05ade304916 100644
--- a/compiler/typecheck/TcTyDecls.lhs
+++ b/compiler/typecheck/TcTyDecls.lhs
@@ -24,8 +24,6 @@ import HscTypes
import TyCon
import Class
import DataCon
-import Var
-import VarSet
import Name
import NameEnv
import NameSet
@@ -280,6 +278,7 @@ new_tc_rhs tc = snd (newTyConRhs tc) -- Ignore the type variables
getTyCon (ATyCon tc) = tc
getTyCon (AClass cl) = classTyCon cl
+getTyCon other = panic "getTyCon"
findLoopBreakers :: [(TyCon, [TyCon])] -> [Name]
-- Finds a set of tycons that cut all loops
@@ -312,6 +311,7 @@ tcTyConsOfType ty
go (PredTy (IParam _ ty)) = go ty
go (PredTy (ClassP cls tys)) = go_tc (classTyCon cls) tys
go (ForAllTy _ ty) = go ty
+ go other = panic "tcTyConsOfType"
go_tc tc tys = extendNameEnv (go_s tys) (tyConName tc) tc
go_s tys = foldr (plusNameEnv . go) emptyNameEnv tys
--
GitLab