[Haskell'-private] NoMonomorphismRestriction

Simon Marlow marlowsd at gmail.com
Mon Jul 27 06:12:37 EDT 2009


On 25/07/2009 16:28, Ian Lynagh wrote:

> I've made a ticket and proposal page for removing the monomorphism
> restriction:
>    http://hackage.haskell.org/trac/haskell-prime/ticket/131
>    http://hackage.haskell.org/trac/haskell-prime/wiki/NoMonomorphismRestriction

I think if we do this we really have to do

http://hackage.haskell.org/trac/haskell-prime/wiki/SpecifyPatternBindingSemantics

Which is not strictly speaking a change, but is a necessary 
clarification if the MR is removed.  I believe the conclusion we came to 
in March/April 2008 was to do this.

Cheers,
	Simon


More information about the Haskell-prime mailing list