names can still be resolved
unambiguously." (section 5.3.3)
and in this case, T.length is ambiguous as you say, so I think the
module should fail to typecheck.
Cheers,
Tim
--
Tim Chevalier * catamorphism.org * Often in error, never in doubt
"Investing in monopoly software is like in
ar be lazy as it normally
is, then you get effectful expressions being evaluated at
unpredictable times (e.g., in my example, maybe the foo field will
never be demanded and the quux field will be), which is generally
considered harmful.
Cheers,
Tim
--
Tim Chevalier* catamorphism.org *Often in e
ailing lists for an appropriate place for GHC
bugs but didn't find one.
Try glasgow-haskell-bugs; I'm forwarding this message there (I don't
know offhand whether that warning is anything to be concerned about,
but on ghc-bugs it'll get noticed pretty quickly.)
Cheers,
Tim