>
> Hi all.
>
> >Steve Frampton <[EMAIL PROTECTED]> wrote:
> >> foo x = ['1'] ++ foo(x div 10)
> >> *** term : foo
> >> *** type : ((a -> a -> a) -> b -> Int) -> [Char]
> >> *** does not match : Int -> [Char]
>
>
> Can someone please explain how to decipher the type line in this error
> message in such a way that we come to div being used incorrectly?
>
> I'm afraid that my mind doesn't immediately jump to the
> conclusion that div
> without quotes is not an infix operator when I see the error message.
>
> Surely minor syntactical errors can be reported in a more
> meaningful manner?
The whole problem is that is is not a syntax error.
The syntax is valid. It's a tying error. Admitedly a confusing one.
>
> Cheers
>
> Mike Thomas.
>
