#6030: Typeclass constraint should pick the OverloadedString type.
---------------------------------+------------------------------------------
Reporter: GregWeber | Owner:
Type: feature request | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.4.1
Keywords: | Os: Unknown/Multiple
Architecture: Unknown/Multiple | Failure: None/Unknown
Difficulty: Unknown | Testcase:
Blockedby: | Blocking:
Related: |
---------------------------------+------------------------------------------
Changes (by GregWeber):
* type: bug => feature request
Comment:
ok, changed to a feature request. I am not smart enough to know what the
consequences are for others: I was hoping that would be more obvious to
those that work on the type system. I was just trying to write a program
to be convenient for users and GHC would not allow me to, which makes me
sad :(
I suspect this issue has not been brought up because generally one would
write the typeclass for multiple IsString instances. The undocumented
defaulting capability, while putting a little extra burden on the users,
seems generally a more powerful approach. So maybe after I can add
documentation for defaulting I will close this.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6030#comment:4>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
