6 Mar
2008
6 Mar
'08
6:37 a.m.
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⑈