Skip to content
Snippets Groups Projects
Commit fc867aa7 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Warning police

parent 71d2bf92
No related merge requests found
...@@ -17,8 +17,7 @@ import Id ...@@ -17,8 +17,7 @@ import Id
import Var import Var
import IdInfo import IdInfo
import Coercion import Coercion
import DataCon ( dataConTyCon, dataConRepStrictness, dataConUnivTyVars ) import DataCon ( dataConRepStrictness, dataConUnivTyVars )
import TyCon ( tyConArity )
import CoreSyn import CoreSyn
import NewDemand ( isStrictDmd ) import NewDemand ( isStrictDmd )
import PprCore ( pprParendExpr, pprCoreExpr ) import PprCore ( pprParendExpr, pprCoreExpr )
......
...@@ -24,8 +24,6 @@ import HscTypes ...@@ -24,8 +24,6 @@ import HscTypes
import TyCon import TyCon
import Class import Class
import DataCon import DataCon
import Var
import VarSet
import Name import Name
import NameEnv import NameEnv
import NameSet import NameSet
...@@ -280,6 +278,7 @@ new_tc_rhs tc = snd (newTyConRhs tc) -- Ignore the type variables ...@@ -280,6 +278,7 @@ new_tc_rhs tc = snd (newTyConRhs tc) -- Ignore the type variables
getTyCon (ATyCon tc) = tc getTyCon (ATyCon tc) = tc
getTyCon (AClass cl) = classTyCon cl getTyCon (AClass cl) = classTyCon cl
getTyCon other = panic "getTyCon"
findLoopBreakers :: [(TyCon, [TyCon])] -> [Name] findLoopBreakers :: [(TyCon, [TyCon])] -> [Name]
-- Finds a set of tycons that cut all loops -- Finds a set of tycons that cut all loops
...@@ -312,6 +311,7 @@ tcTyConsOfType ty ...@@ -312,6 +311,7 @@ tcTyConsOfType ty
go (PredTy (IParam _ ty)) = go ty go (PredTy (IParam _ ty)) = go ty
go (PredTy (ClassP cls tys)) = go_tc (classTyCon cls) tys go (PredTy (ClassP cls tys)) = go_tc (classTyCon cls) tys
go (ForAllTy _ ty) = go ty go (ForAllTy _ ty) = go ty
go other = panic "tcTyConsOfType"
go_tc tc tys = extendNameEnv (go_s tys) (tyConName tc) tc go_tc tc tys = extendNameEnv (go_s tys) (tyConName tc) tc
go_s tys = foldr (plusNameEnv . go) emptyNameEnv tys go_s tys = foldr (plusNameEnv . go) emptyNameEnv tys
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment