[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