Question about negative Integers

Joachim Breitner mail at
Sat Nov 16 11:04:02 UTC 2019


Am Freitag, den 15.11.2019, 17:04 +0100 schrieb Sylvain Henry:
> However integer-gmp and 
> integer-simple fake two's complement encoding for Bits operations. 

just a small factoid: the Coq standard library provide the same
semantics. I’d lean towards leaving it as it is. If someone need the
“other” semantics, they can easily throw in a (very efficient) `abs` in
the right places.


Joachim Breitner
  mail at

More information about the ghc-devs mailing list