Version française
Home     About     Download     Resources     Contact us    
Browse thread
Re: Is this OK?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Damien Doligez <Damien.Doligez@i...>
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