On Thu, Mar 06, 2008 at 08:56:15AM +0000, Simon Peyton-Jones wrote:
> No, it's fine. compress is indeed monomorphic, but since it's called
> at exactly one type, namely Char, so it gets the monomorphic type
> [Char] -> [Char]. That is what the Haskell Report says. (Or tries
> to.)
But when I modify the module header to be:
> module Main(main,compress) where
It still doesn't complain, it can't know that all other uses of
'compress' in other modules will also be at a Char type.
It also seems to me that the Dependency Analysis (4.5.1 in the report) would
cause 'compress' to be typed and generalized before 'main' was even
processed...
Hmm..
John
--
John Meacham - ⑆repetae.net⑆john⑈
_______________________________________________
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
