Re: Is this OK?

From: Damien Doligez (
Date: Mon May 18 1998 - 15:59:42 MET DST

Date: Mon, 18 May 1998 15:59:42 +0200
From: Damien Doligez <>
Message-Id: <>
Subject: Re: Is this OK?

>From: Jean-Christophe Filliatre <>

>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

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