On Thu, 28 May 2009, Bulat Ziganshin wrote:
read x
Error: type of x is Integer
while type of read argument should be String
I also have my problems with "inferred/expected" and find your suggested
message easier to understand in this case. But can it be generalized? I
think that "inferred"
Hello Max,
Thursday, May 28, 2009, 12:49:20 AM, you wrote:
> I don't remember having any trouble, but that was a few years ago, and
> type errors are confusing generally. I think that the main difficulty
> with type errors is not the error *messages*, but I'm sure there is
> room for improvement.