Question about negative Integers

Joachim Breitner mail at joachim-breitner.de
Sat Nov 16 11:04:02 UTC 2019


Hi,

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.

Cheers,
Joachim

-- 
Joachim Breitner
  mail at joachim-breitner.de
  http://www.joachim-breitner.de/



More information about the ghc-devs mailing list