[EMAIL PROTECTED] reports the following problem.
Version: 1.4, January 1998
OS: Solaris
compiler: gcc
configuration:
Expected behaviour:
The programs
>mul2 = map (2*)
and
>mul2 l = map (2*) l
should be identical
Observed behaviour:
>mul2 = map (2*)
Type checking
ERROR "test.hs" (line 1): Unresolved top-level overloading
*** Binding : mul2
*** Outstanding context : Functor b
but
>mul2 l = map (2*) l
Hugs session for:
/opt/hugs/share/hugs/lib/Prelude.hs
test.hs
Main>
I know there are issues of inferring class Functor contexts.
But I don't see why they can be inferred in the second but not in the first
program.
Transcript:
see above
Code:
