#9479: Report required constraints when reporting the type of a hole -------------------------------------+------------------------------------- Reporter: | Owner: dominiquedevriese | Status: new Type: feature | Milestone: request | Version: 7.8.3 Priority: low | Keywords: holes Component: Compiler | Architecture: Unknown/Multiple (Type checker) | Difficulty: Unknown Resolution: | Blocked By: Operating System: | Related Tickets: Unknown/Multiple | Type of failure: | None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by dominiquedevriese): Note: this report was triggered by the following StackOverflow question: http://stackoverflow.com/questions/23028124/is-there-a-way-to-make-ghc- provide-the-type-class-constraints-of-typed-holes -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9479#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler