Mixture of Integer and Float arithmetic without "fromIntegral"?

Marcin 'Qrczak' Kowalczyk qrczak@knm.org.pl
6 Dec 2000 19:17:44 GMT


Wed, 06 Dec 2000 11:45:43 +0100, Christian Lescher <christian@lescher.de> 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