Commits

Iago Abal  committed 47908e3

Fix signum definition
#fix

  • Participants
  • Parent commits 55ff78c

Comments (0)

Files changed (1)

File Data/BitVector.hs

   negate (BV n a) = BV n $ 2^n - a
   abs u | msb u     = negate u
         | otherwise = u
-  signum u = bitVec 2 $ int u
+  signum u = bitVec 2 $ signum $ int u
   fromInteger i = bitVec (integerWidth i) i
 
 instance Real BV where