Tiny comment fix
commit3b22e269a10acd1443f3f9a63d673d1992da5794
authorSynthetica9 <patrickhilhorst97@gmail.com>
dateFri 9 Dec 2016, 20:28 (10 years ago)
parentf15d4cb
libs/base/Data/Complex.idr+1−1
@@ -70,7 +70,7 @@ implementation Neg a => Num (Complex a) where
7070 (*) (a:+b) (c:+d) = ((a*c-b*d):+(b*c+a*d))
7171 fromInteger x = (fromInteger x:+0)
7272
73−-- We can't do "implementation Neg a => Num (Complex a)" because
73+-- We can't do "implementation Neg a => Neg (Complex a)" because
7474-- we need "abs" which needs "magnitude" which needs "sqrt" which needs Double
7575implementation Neg (Complex Double) where
7676 negate = map negate