Re: unzip

1992-02-25 Thread jhf
|The new unzip* functions in 1.2 are not suitable for unzipping an |infinite list. (What Phil called "A splitting headache".) |Is this deliberate or a mistake? I'd like them to be lazier. A mistake, thanks. I've fixed it. --Joe "I hate ^-patterns" Fasel

unzip

1992-02-25 Thread Lennart Augustsson
The new unzip* functions in 1.2 are not suitable for unzipping an infinite list. (What Phil called "A splitting headache".) Is this deliberate or a mistake? I'd like them to be lazier. All you need is to change from unzip = foldr (\(a,b) (as,bs) -> (a:as,b:bs)) ([],[]) to

Prelude bug

1992-02-25 Thread Lennart Augustsson
After 3 hours of debugging I finally found it!! There is a bug in the definition of Complex cos, tan, cosh, and tanh in the Prelude (just sign flipping error). They should be as below. All this work using Standard Math really brings back memories... -- Lennart cos (x:+y) = co

Re: The Great Integer Division Controversy

1992-02-25 Thread Mikael Rittri
I agree with Kent here. I don't think backwards compatibility on `div` is important (yet). One extremely minor point: although the Definition of Standard ML only provides `div` and `mod` (for flooring division), Standard ML of New Jersey also provides `quot` and `rem` (for truncating). The