#11409: Cannot instantiate literals using TypeApplications -------------------------------------+------------------------------------- Reporter: Feuerbach | Owner: goldfire Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1-rc1 Resolution: | Keywords: | TypeApplications Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #11352 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by adamgundry): * cc: adamgundry (added) * related: => #11352 Comment: See also #11352, which is about the same issue for the newfangled overloaded labels (and I guess overloaded string and rational literals should be treated similarly). I experimented with something like Simon's suggestion for overloaded labels, and found that error messages got worse, because it was no longer possible to give a `CtOrigin` that mentioned the overloaded label as the source. But perhaps there's a way round that? Alternatively, I suppose we could add a special rule for typechecking a literal applied to a type. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11409#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler