On Wed, Aug 30, 2006 at 05:39:07PM +0100, Neil Mitchell wrote: > The following code: > > >f a = undefined > >f :: a -> b > >f a = undefined > > Under Hugs May 2006 does not raise an error. > I guess Hugs is wrong in this case. Yes, function bindings are supposed to be contiguous. Now fixed.