id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,os,architecture,failure,difficulty,testcase,blockedby,blocking,related
6030,Typeclass constraint should pick the OverloadedString type.,GregWeber,,"{{{
{-# LANGUAGE OverloadedStrings #-}
import Data.Text as T

class    NoDefault a      where noDefault :: a -> Text
instance NoDefault T.Text where noDefault = id

main = print (noDefault ""Hello!"")
}}}

{{{
default.hs:7:15:
    Ambiguous type variable `a0' in the constraints:
      (NoDefault a0) arising from a use of `noDefault'
                     at default.hs:7:15-23
      (Data.String.IsString a0) arising from the literal `""Hello!""'
                                at default.hs:7:25-32
    Probable fix: add a type signature that fixes these type variable(s)
    In the first argument of `print', namely `(noDefault ""Hello!"")'
    In the expression: print (noDefault ""Hello!"")
    In an equation for `main': main = print (noDefault ""Hello!"")
}}}",feature request,new,normal,_|_,Compiler,7.4.1,,,,Unknown/Multiple,Unknown/Multiple,None/Unknown,Unknown,,,,