[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