#11460: OverloadedStrings cause error in annotation -------------------------------------+------------------------------------- Reporter: alanz | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.3 Resolution: | Keywords: Operating System: Linux | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by nomeata): This is actually expected. An annotation can be of any data type; I quote
Any expression that has both Typeable and Data instances may be attached to a top-level value binding using an ANN pragma.
So the error message is fine. The work-around is to add `::String` afterwards. Or is there a version of GHC that behaved differently? No one could see this ticket as a request to make this a bit more smooth, e.g. by defaulting to `String` within an `ANN` or something. Is it? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11460#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler