not getting most general type - is this a bug in hugs?

29 Jul
2004
29 Jul
'04
9:12 a.m.
$ cat x.hs rep0 :: Num a => [a] rep0 = repeat 0 rep0' = repeat 0 $ hugs x.hs ... Main> :t rep0 rep0 :: Num a => [a] Main> :t repeat 0 repeat 0 :: Num a => [a] Main> :t rep0' rep0' :: [Integer] -- WHAT?? Main> :version -- Hugs Version Nov 2002 ________________________________________________________________ Verschicken Sie romantische, coole und witzige Bilder per SMS! Jetzt neu bei WEB.DE FreeMail: http://freemail.web.de/?mc=021193

29 Jul
29 Jul
9:19 a.m.
New subject: not getting most general type - is this a bug in hugs?
blaetterrascheln@web.de wrote:
rep0' :: [Integer] -- WHAT??
You just have made first contact with the Dreaded Monorphism Restriction. -- Andreas Rossberg, rossberg@ps.uni-sb.de Let's get rid of those possible thingies! -- TB
7600
Age (days ago)
7600
Last active (days ago)
1 comments
2 participants
participants (2)
-
Andreas Rossberg
-
blaetterraschelnļ¼ web.de