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 5 years ago by igloo
- Milestone changed from 6.12.3 to _|_
- Priority changed from low to normal
- Type of failure set to None/Unknown