Original bug ID: 1811
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)

Bug description

Full_Name: Damien Doligez
Version: 3.07+beta (2003-08-18)
OS: Mac OS X
Submission from: macaque.inria.fr (128.93.8.158)
Submitted by: doligez

La documentation de mod dit:

If [y] is not zero, the result
of [x mod y] satisfies the following properties:
[x = (x / y) * y + x mod y] and
[abs(x mod y) < abs(y)].

Or c'est faux:

$ ocaml
Objective Caml version 3.07+beta (2003-08-18)

let x = 1 and y = min_int;;

val x : int = 1
val y : int = -1073741824

abs(x mod y) < abs(y);;

• : bool = false