#11192: Induced `Eq` constraint on numeric literal + partial type signature = panic! -------------------------------------+------------------------------------- Reporter: kwf | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler (Type | Version: 7.10.2 checker) | Keywords: numeric Resolution: fixed | literal, partial type signature, | the impossible happened, panic Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by simonpj): * status: new => closed * resolution: => fixed Comment: Thanks for the report. Happily this too is fixed as part of my work on wildcards. Now for `Fails` you get {{{ T11192.hs:7:14: warning: • Found type wildcard ‘_’ standing for ‘Int -> t -> t’ Where: ‘t’ is a rigid type variable bound by the inferred type of go :: Int -> t -> t at T11192.hs:8:8 }}} which is what you wanted. Simon -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11192#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler