> -----Original Message-----
> From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED]]
> Sent: 08 September 2000 17:17
> To: [EMAIL PROTECTED]
> Subject: Re: Inferring types
>
>
> Sat, 9 Sep 2000 00:56:46 +1100, Fergus Henderson
> <[EMAIL PROTECTED]> pisze:
>
> > If you define `p' as a syntactic function, e.g.
>
> > then the monomorphism restriction does not apply, and so
> the type inferred
> > for `p' will be the correct polymorphic type `Num a => a -> a -> a'.
>
> Also when an explicit type signature is given, it does not apply.
>
> Some people think that the monomorphism restriction should be removed.
> (There are no technical problems with this AFAIK.)
I was under the impression that this introduced to increase efficency
(prevents the same expression being multiply evaluated in certain
circumstances)
If this is the case then what about removing the restriction but issuing a
warning
if we compile code that would have caused the restriction to apply.
>
> --
> __("< Marcin Kowalczyk * [EMAIL PROTECTED] http://qrczak.ids.net.pl/
> \__/
> ^^ SYGNATURA ZASTĘPCZA
> QRCZAK
>
>
