Skip to content

Data.Complex.phase does unnecessary pattern match

The Data.Complex.phase function contains this line: phase (0 :+ 0) = 0 -- SLPJ July 97 from John Peterson

This is not necessary since atan2 (invoked on the following line) is defined such that it returns 0 in this case already.

-- Lennart

Trac metadata
Trac field Value
Version 6.7
Type Bug
TypeOfFailure OtherFailure
Priority normal
Resolution Unresolved
Component Prelude
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system Unknown
Architecture Unknown
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information