Mixture of Integer and Float arithmetic without "fromIntegral"?
Marcin 'Qrczak' Kowalczyk
6 Dec 2000 19:17:44 GMT
Wed, 06 Dec 2000 11:45:43 +0100, Christian Lescher <firstname.lastname@example.org> pisze:
> module Defs where
> n :: Num a => a
> n = 3
> x :: Fractional a => a
> x = 12.3
> test = ceiling (x / n)
> However, I would like to have it without writing the type signature.
There are people (including me) who think that the monomorphism
restriction rule, which makes the above definitions without type
signatures monomorphic and thus defaulted to concrete types, should
__("< Marcin Kowalczyk * email@example.com http://qrczak.ids.net.pl/
^^ SYGNATURA ZASTĘPCZA