X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fiface%2FBuildTyCl.lhs;h=8459edf98ad5ec54933f884af52260d3f8fb7dfd;hb=911e7de13ab1c0e5426c7f234e0c8dd29185a2ba;hp=99f5abeab7e9f7064a03d3d23a77685679d0c7cc;hpb=2a14d735e565b2dbe4af65c0c657d8843608e36f;p=ghc-hetmet.git diff --git a/compiler/iface/BuildTyCl.lhs b/compiler/iface/BuildTyCl.lhs index 99f5abe..8459edf 100644 --- a/compiler/iface/BuildTyCl.lhs +++ b/compiler/iface/BuildTyCl.lhs @@ -4,13 +4,6 @@ % \begin{code} -{-# OPTIONS -w #-} --- The above warning supression flag is a temporary kludge. --- While working on this module you are encouraged to remove it and fix --- any warnings in the module. See --- http://hackage.haskell.org/trac/ghc/wiki/Commentary/CodingStyle#Warnings --- for details - module BuildTyCl ( buildSynTyCon, buildAlgTyCon, buildDataCon, buildClass, @@ -21,12 +14,10 @@ module BuildTyCl ( #include "HsVersions.h" import IfaceEnv -import TcRnMonad import DataCon import Var import VarSet -import TysWiredIn import BasicTypes import Name import OccName @@ -218,6 +209,7 @@ buildDataCon src_name declared_infix arg_stricts field_lbls -- the type variables mentioned in the arg_tys -- ToDo: Or functionally dependent on? -- This whole stupid theta thing is, well, stupid. +mkDataConStupidTheta :: TyCon -> [Type] -> [TyVar] -> [PredType] mkDataConStupidTheta tycon arg_tys univ_tvs | null stupid_theta = [] -- The common case | otherwise = filter in_arg_tys stupid_theta