Remove dead variable binding
authorSimon Peyton Jones <simonpj@microsoft.com>
Thu, 13 Sep 2018 16:47:50 +0000 (17:47 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Thu, 13 Sep 2018 16:47:50 +0000 (17:47 +0100)
Fallout from earlier commit, sorry.

compiler/typecheck/TcValidity.hs

index b58c1ba..351d0e1 100644 (file)
@@ -1115,14 +1115,13 @@ We can also have instances for functions: @instance Foo (a -> b) ...@.
 checkValidInstHead :: UserTypeCtxt -> Class -> [Type] -> TcM ()
 checkValidInstHead ctxt clas cls_args
   = do { dflags   <- getDynFlags
-       ; this_mod <- getModule
        ; is_boot  <- tcIsHsBootOrSig
-       ; check_valid_inst_head dflags this_mod is_boot ctxt clas cls_args }
+       ; check_valid_inst_head dflags is_boot ctxt clas cls_args }
 
-check_valid_inst_head :: DynFlags -> Module -> Bool
+check_valid_inst_head :: DynFlags -> Bool
                       -> UserTypeCtxt -> Class -> [Type] -> TcM ()
 -- Wow!  There are a surprising number of ad-hoc special cases here.
-check_valid_inst_head dflags this_mod is_boot ctxt clas cls_args
+check_valid_inst_head dflags is_boot ctxt clas cls_args
 
   -- If not in an hs-boot file, abstract classes cannot have instances
   | isAbstractClass clas