[GHC] #1974: length "foo" doesn't work with -XOverloadedStrings
GHC
trac at galois.com
Wed Dec 12 07:00:04 EST 2007
#1974: length "foo" doesn't work with -XOverloadedStrings
--------------------------------+-------------------------------------------
Reporter: ganesh | Owner:
Type: feature request | Status: new
Priority: low | Milestone:
Component: Compiler | Version: 6.8.1
Severity: minor | Keywords:
Difficulty: Unknown | Testcase:
Architecture: Unknown | Os: Unknown
--------------------------------+-------------------------------------------
The extensions to the defaulting rule for -XOverloadedStrings aren't
sufficient to make {{{length "foo"}}} typecheck without an annotation. The
reason is that we end up with a constraint {{{IsString [a]}}}, and we
would somehow have to decide to instantiate a to Char to get the hoped-for
behaviour.
It would be nice if this could be made to work (perhaps just with
-XExtendedDefaultRules), if a solution can be found without too much
hacking.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1974>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the Glasgow-haskell-bugs
mailing list