[GHC] #14581: coerce String type in annotations with OverloadedStrings enabled

[GHC]

#14581: coerce String type in annotations with OverloadedStrings enabled
-------------------------------------+-------------------------------------
           Reporter:  mgmeier        |             Owner:  (none)
               Type:  feature        |            Status:  new
  request                            |
           Priority:  low            |         Milestone:
          Component:  Compiler       |           Version:  8.2.1
           Keywords:                 |  Operating System:  Unknown/Multiple
       Architecture:                 |   Type of failure:  None/Unknown
  Unknown/Multiple                   |
          Test Case:                 |        Blocked By:
           Blocking:                 |   Related Tickets:
Differential Rev(s):                 |         Wiki Page:
-------------------------------------+-------------------------------------
 Compiling the following snippet fails with the error message for not being
 able to resolve the constraint IsString for the given annotation (I've
 chosen some random HLint annotation here):
 {{{#!hs
 {-# LANGUAGE OverloadedStrings #-}

 module Foo where

 {-# ANN module "HLint: ignore Use <$>" #-}
 }}}

 Stating the type explicitly works fine, changing the annotation like this:
 {{{#!hs
 {-# ANN module ("HLint: ignore Use <$>" :: String) #-}
 }}}

 Note: this is actually only a minor annoyance which may or may not be
 confusing to newcomers. However since annotations use the String type,
 wouldn't it be possible to resolve the constraint in this case / coerce
 the value when inside an annotation?

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14581>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler