#10632: ImplicitParams: GHC does not warn about unused implicit parameters -------------------------------------+------------------------------------- Reporter: mwnx | Owner: Type: bug | Status: new Priority: lowest | Milestone: Component: Compiler | Version: 7.10.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect | Unknown/Multiple warning at compile-time | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by simonpj): I think it works fine in HEAD. Can others verify? {{{ T10632.hs:5:6: warning: Redundant constraint: ?file1::String In the type signature for: f :: (?file1::String) => IO () }}} If so, can someone add this as a regression test? I don't think it's worth messing with 7.10. Simon -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10632#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler