Added extra comment
commitf15d4cb38be1a544287cf71474a72d6a9917588c
authorSynthetica9 <patrickhilhorst97@gmail.com>
dateFri 9 Dec 2016, 20:25 (10 years ago)
parent02159a3
libs/base/Data/Complex.idr+7
@@ -76,3 +76,10 @@ implementation Neg (Complex Double) where
7676 negate = map negate
7777 (-) (a:+b) (c:+d) = ((a-c):+(b-d))
7878 abs (a:+b) = (magnitude (a:+b):+0)
79+
80+-- As soon as abs moves out of Neg (issue #3500), the following would become a
81+-- valid instance:
82+
83+-- implementation Neg a => Neg (Complex a) where
84+-- negate = map negate
85+-- (-) (a:+b) (c:+d) = ((a-c):+(b-d))