Re: Type casting??

[Felix Schroeter]

Hello!

Just a small nitpick:

On Thu, Mar 11, 1999 at 08:02:57PM +0000, [EMAIL PROTECTED] wrote:
> [...]

> the only thing you can do is to restrict something to have fewer types
> than it otherwise would have.

Or avoid restriction, in the case when the MR hits.

Such as:

fact = product . enumFromTo 1

Without an explicit type signature, this gets typed Integer -> Integer
(or Int -> Int pre H'98). But in fact, the principal type is
fact :: (Num a, Enum a) => a -> a

Regards, Felix.