Re: Is this OK?

From: Damien Doligez (Damien.Doligez@inria.fr)
Date: Mon May 18 1998 - 15:59:42 MET DST

Next message: Ohad Rodeh: "Ocaml to Java"
Previous message: Ohad Rodeh: "Ocaml to Java"
Maybe in reply to: N Hur: "Is this OK?"
Next in thread: Ohad Rodeh: "Ocaml to Java"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Date: Mon, 18 May 1998 15:59:42 +0200
From: Damien Doligez <Damien.Doligez@inria.fr>
Message-Id: <199805181359.PAA11472@tobago.inria.fr>
To: caml-list@inria.fr
Subject: Re: Is this OK?

>From: Jean-Christophe Filliatre <Jean-Christophe.Filliatre@lri.fr>

>But in the case of Caml division, the specification is different: the
>remainder has the same sign that a, which is negative in your example.

This is not quite true. In the case of integer division in Caml Light,
the result is unspecified when either argument is negative. This is
clearly stated in the documentation.

-- Damien

Next message: Ohad Rodeh: "Ocaml to Java"
Previous message: Ohad Rodeh: "Ocaml to Java"
Maybe in reply to: N Hur: "Is this OK?"
Next in thread: Ohad Rodeh: "Ocaml to Java"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:14 MET