Re: Mixture of Integer and Float arithmetic without "fromIntegral"?

Wed, 06 Dec 2000 11:45:43 +0100, Christian Lescher 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 be removed. -- __("< Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/ \__/ ^^ SYGNATURA ZASTÊPCZA QRCZAK