[Haskell-cafe] not getting most general type - is this a bug in hugs?

2004-07-29 Thread blaetterrascheln 
$ 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

___
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] not getting most general type - is this a bug in hugs?

2004-07-29 Thread Andreas Rossberg 
[EMAIL PROTECTED] wrote:
rep0' :: [Integer]-- WHAT??
You just have made first contact with the Dreaded Monorphism Restriction.
--
Andreas Rossberg, [EMAIL PROTECTED]
Let's get rid of those possible thingies!  -- TB
___
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe