#14990: "Valid refinement suggestions" have the wrong types -------------------------------------+------------------------------------- Reporter: goldfire | Owner: Tritlo Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.5 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by Tritlo): One issue that pops up: Is it more or less useful to have the type of the expression rather than the type of the function being suggested? In this case, it would be `(-) (_ :: Integer) :: Integer -> Integer`, as specified by the type of the hole. In fact, if we show the specialized type, it would be the type of the hole in all situations, since that's what we're looking for in the first place! Right? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14990#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler