Existentials

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


=20
> > Does anyone have any opinions on this topic?  It's a small=20
> point, but
> > one that bites quite frequently.  It might even be possible=20
> 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.
>=20
> 'forall' is already a special keyword that only applies=20
> inside types, in both Hugs and GHC.

Oops, I lie.  Not in Hugs, only in GHC.

Cheers,
	Simon