#10570: Terrible error message with fundeps and PolyKinds -------------------------------------+------------------------------------- Reporter: danilo2 | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"2d06a9f19d5b3ab8c3ff0b24f508c15bedae99d2/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="2d06a9f19d5b3ab8c3ff0b24f508c15bedae99d2" Improve error message for fundeps Improve error message fundeps, especially when PolyKinds means that the un-determined variables are (invisible) kind variables. See Trac #10570. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10570#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler