On 25/08/13 19:29, Henning Thielemann wrote:
> Am 25.08.2013 17:13, schrieb Edward Kmett:
>>> Looks like that takes us back to the original proposal.
>> It seems that both of Edward and my proposal have a drawback:
> Edward's proposal restricts lists to [Char].
> My proposal allows more element types, but type inference fails for
> (length "abc").
>> Why is it necessary to let (length "abc") work as is?
> Would (length ("abc" :: String)) be too complicated?
>
This whole proposal was motivated by the fact that the convenience
extension, OverloadedStrings, makes simply things like (length "abc")
inconvenient as we have to use a type signature. What you're proposing
here goes completely against of why this proposal saw the light of the
day to begin with.
--
Mateusz K.