Does Haskell specify how div and mod should behave when
given one or both arguments negative?
Eg, in hugs we get:
div 13 = 0
div (-1) 3 = -1
div 1 (-3) = -1
div (-1) (-3) = 0
and so on.
We usually describe div as the version of division that truncates
towards negative
Dr Mark H Phillips wrote:
Hi,
Does Haskell specify how div and mod should behave when
given one or both arguments negative?
Yes, section 6.4.2 gives an exact definition.
P.S. I notice in hugs if I type -1 `div` 3 the `div`
binds to the 1 and 3 first, and only applies the -
at the end. Is