Consider the following module:
------------------------------------
module Foo where
bar :: Int -> (Int, Int)
bar z = (z, len)
where (len, _) = baz 0
baz n = (n, [])
------------------------------------
The current nhc98 from HEAD tells me:
====== Errors after type inference/checking:
Context for Prelude.Num needed in left hand pattern at 5:10.
GHC and Hugs accept this without problems, nhc98 only when it gets some
help, e.g. changing "0" to "(0::Int)".
Cheers,
S.
