Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Documentation de Int??.rem #3573

Closed
vicuna opened this issue Apr 1, 2005 · 2 comments
Closed

Documentation de Int??.rem #3573

vicuna opened this issue Apr 1, 2005 · 2 comments
Labels

Comments

@vicuna
Copy link

vicuna commented Apr 1, 2005

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

Bug description

Full_Name: Pascal Cuoq
Version: 3.08
OS: Mac OS X
Submission from: is002567.saclay.cea.fr (132.166.134.173)

In the documentation of modules Int32 and Int64,
the operations div and rem are documented this way :


val div : int64 -> int64 -> int64

Integer division. Raise Division_by_zero if the second argument is zero. This
division rounds the real quotient of its arguments towards zero, as specified
for (/).

val rem : int64 -> int64 -> int64

Integer remainder. If y is not zero, the result of Int64.rem x y satisfies the
following properties: Int64.zero <= Int64.rem x y < Int64.abs y and x =
Int64.add (Int64.mul (Int64.div x y) y) (Int64.rem x y). If y = 0, Int64.rem x y
raises Division_by_zero.


These properties are not compatible. The current implementation does
not satisfy the "Int64.zero <= Int64.rem x y" part.

@vicuna
Copy link
Author

vicuna commented Apr 11, 2005

Comment author: administrator

val div : int64 -> int64 -> int64

Integer division. Raise Division_by_zero if the second argument is zero. This
division rounds the real quotient of its arguments towards zero, as specified
for (/).

val rem : int64 -> int64 -> int64

Integer remainder. If y is not zero, the result of Int64.rem x y satisfies
the
following properties: Int64.zero <= Int64.rem x y < Int64.abs y and x =
Int64.add (Int64.mul (Int64.div x y) y) (Int64.rem x y). If y = 0, Int64.rem x
y
raises Division_by_zero.


These properties are not compatible. The current implementation does
not satisfy the "Int64.zero <= Int64.rem x y" part.

Bien vu. J'ai corrige ce probleme. Merci pour le rapport.

-- Damien

@vicuna
Copy link
Author

vicuna commented Apr 11, 2005

Comment author: administrator

fixed DD 2005-04-11

@vicuna vicuna closed this as completed Apr 11, 2005
@vicuna vicuna added the bug label Mar 19, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

1 participant