length "foo" doesn't work with -XOverloadedStrings
|Reported by:||ganesh||Owned by:|
|Type of failure:||None/Unknown||Test Case:|
|Related Tickets:||Differential Rev(s):|
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.
Change History (9)
comment:8 Changed 7 years ago by
|Milestone:||6.12.3 → _|_|
|Priority:||low → normal|
|Type of failure:||→ None/Unknown|