X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcClassDcl.lhs;h=33b02dec5dd6865045adb101ebf54a797d0cc283;hb=e6ca2d4ac1e3d86bd93e5884fbae03151c708862;hp=4f1f32c0f9f8176ba5d889f1e2a520506cbbd291;hpb=9d0c8f842e35dde3d570580cf62a32779f66a6de;p=ghc-hetmet.git diff --git a/compiler/typecheck/TcClassDcl.lhs b/compiler/typecheck/TcClassDcl.lhs index 4f1f32c..33b02de 100644 --- a/compiler/typecheck/TcClassDcl.lhs +++ b/compiler/typecheck/TcClassDcl.lhs @@ -30,30 +30,27 @@ import TcRnMonad import Generics import Class import TyCon -import Type import MkId import Id import Name import Var import NameEnv import NameSet -import OccName import RdrName import Outputable import PrelNames import DynFlags import ErrUtils import Util -import Unique import ListSetOps import SrcLoc import Maybes -import List import BasicTypes import Bag import FastString import Control.Monad +import Data.List \end{code} @@ -536,7 +533,7 @@ mkGenericInstance clas (hs_ty, binds) = do dfun_id = mkDictFunId dfun_name tyvars inst_theta clas [inst_ty] ispec = mkLocalInstance dfun_id overlap_flag - return (InstInfo { iSpec = ispec, iBinds = VanillaInst binds [] }) + return (InstInfo { iSpec = ispec, iBinds = VanillaInst binds [] False }) \end{code}