[GHC] #11460: OverloadedStrings cause error in annotation
GHC
ghc-devs at haskell.org
Tue Jan 19 12:09:12 UTC 2016
#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
More information about the ghc-tickets
mailing list