[commit: ghc] master: Remove dead variable binding (8533428)

git at git.haskell.org git at git.haskell.org
Thu Sep 13 16:48:43 UTC 2018


Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/8533428b1734eb6f249d350ed8fe7882d212792a/ghc

>---------------------------------------------------------------

commit 8533428b1734eb6f249d350ed8fe7882d212792a
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Thu Sep 13 17:47:50 2018 +0100

    Remove dead variable binding
    
    Fallout from earlier commit, sorry.


>---------------------------------------------------------------

8533428b1734eb6f249d350ed8fe7882d212792a
 compiler/typecheck/TcValidity.hs | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/compiler/typecheck/TcValidity.hs b/compiler/typecheck/TcValidity.hs
index b58c1ba..351d0e1 100644
--- a/compiler/typecheck/TcValidity.hs
+++ b/compiler/typecheck/TcValidity.hs
@@ -1115,14 +1115,13 @@ We can also have instances for functions: @instance Foo (a -> b) ... at .
 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



More information about the ghc-commits mailing list