Am Freitag, 6. Juni 2003 09:15 schrieb Simon Peyton-Jones: > I forget whether I've aired this on the list, but I'm seriously thinking > that we should change 'forall' to 'exists' in existential data constructors > like this one. One has to explain 'forall' every time. But we'd lose a > keyword.
Or omit the keyword altogether (Doaitse has suggested this before). This is quite in line with uses of quantifiers elsewhere (in the horn rule `path(A,C) :- path(A,B), path(B, C)' the variable `C' is implicitly existentially quantified in the body). Cheers, Ralf _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
