Fri, 31 Mar 2000 12:37:13 +0100, Keith Wansbrough <[EMAIL PROTECTED]> 
pisze:

> [it's no accident that class constraints `C a =>' are written the way
> they are... they are really extra arguments `CDict a ->'.]

Why are they written uncurried?

It's easier to split a curried long context among several lines,
and seems more consistent: no extra syntax of '(' ',' ')' in contexts
is necessary.

-- 
 __("<    Marcin Kowalczyk * [EMAIL PROTECTED] http://qrczak.ids.net.pl/
 \__/              GCS/M d- s+:-- a23 C+++$ UL++>++++$ P+++ L++>++++$ E-
  ^^                  W++ N+++ o? K? w(---) O? M- V? PS-- PE++ Y? PGP+ t
QRCZAK                  5? X- R tv-- b+>++ DI D- G+ e>++++ h! r--%>++ y-


Reply via email to