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.
- Re: drop & take [was: fixing typos in H... Ola Fosheim Grøstad
- Re: drop & take [was: fixing typos ... Pablo E. Martinez Lopez
- Re: drop & take [was: fixing ty... Ola Fosheim Grøstad
- Re: drop & take [was: fixing typos in Haskel... Chris Okasaki
- Re: drop & take [was: fixing typos in H... Tommy Thorn
- Re: drop & take [was: fixing typos in H... Philip Wadler
- Re: drop & take [was: fixing typos ... Joe Fasel
- Re: drop & take [was: fixing typos ... Chris Okasaki
- Re: drop & take [was: fixing ty... Philip Wadler
- Re: drop & take [was: fixing ty... Joe Fasel
- Re: drop & take [was: fixing ty... Fergus Henderson
- Re: drop & take [was: fixing typos in H... D. Tweed
- Re: drop & take [was: fixing typos in H... Matt Harden
- RE: drop & take [was: fixing typos in Haskel... Roberto E. Lublinerman
- Re: drop & take [was: fixing typos in Haskel... Marcin 'Qrczak' Kowalczyk
- Re: drop & take [was: fixing typos in H... Hamilton Richards
- Re: drop & take [was: fixing typos ... Ch. A. Herrmann
- Re: drop & take [was: fixing typos in Haskel... Marcin 'Qrczak' Kowalczyk
- RE: drop & take [was: fixing typos in Haskel... Brian Boutel
- Re: drop & take [was: fixing typos in H... Craig Dickson