On 25-Jan-2000, Chris Okasaki <[EMAIL PROTECTED]> wrote:
>   -- provide a simple type synonym
>          type Nat = Int
>      along with a prominent comment that any function that
>      *says* Nat in its type should raise an error on a negative argument

That sounds to me like good programming style.

But I think it goes beyond typo-fixing, so I'd suggest
leaving that for the next major revision of Haskell 
(Haskell 200X?).

-- 
Fergus Henderson <[EMAIL PROTECTED]>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger [EMAIL PROTECTED]        |     -- the last words of T. S. Garp.

Reply via email to