Existentials

Simon Marlow simonmar@microsoft.com
Thu, 17 Apr 2003 12:00:24 +0100


=20
> Does anyone have any opinions on this topic?  It's a small point, but
> one that bites quite frequently.  It might even be possible to arrange
> that 'forall' and 'exists' were only keywords in types, and not in
> terms, but I'm not sure it's worth the bother.

'forall' is already a special keyword that only applies inside types, in
both Hugs and GHC.

Cheers,
	Simon