caml-list AT inria.fr

Subject: Caml users' mailing list

List archive

[Caml-list] Zarith problems on ppc64le

From: "Richard W.M. Jones" <rich AT annexia.org>
To: caml-list AT inria.fr
Subject: [Caml-list] Zarith problems on ppc64le
Date: Mon, 7 Nov 2016 13:22:01 +0000
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=rich AT annexia.org; spf=Pass smtp.mailfrom=rich AT annexia.org; spf=Pass smtp.helo=postmaster AT annexia.org
Ironport-phdr: 9a23:+ALCYBZNE1wbC3XzRG+iLtj/LSx+4OfEezUN459isYplN5qZpc+/bnLW6fgltlLVR4KTs6sC0LuM9fG8Ejdaqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ3p7xhrz5oMebSj4LrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYeVcyDAgD1uSmxHh+pX4p8Y7oGwD884mosVJVKG/e6UjUZRZCi4nOiY7/p7Frx7GGEG153AcW38a2iUOJk6Nzhb8U4y7+n/gt+F98CCcO8DmTLlyXi6tufQ4ACT0gTsKYmZquFrcjdZ92fpW

https://bugzilla.redhat.com/show_bug.cgi?id=1392247

Zarith fails tests on OCaml 4.04.0 + ppc64le with some fairly gross
errors, eg:

of_float -1.
- = -1
+ = 0

(It passes fine on OCaml 4.04.0 + ppc64)

The implementation of Zarith is quite complex and I've so far failed
to understand what's going on.

However an additional problem which makes debugging this harder is
that I cannot work out how to check out the source code for the
package. Using anon svn access hangs. Using svn+ssh access fails to
authenticate. (Could we switch the project over to git?) I'm fairly
sure this isn't a network problem at my end.

Rich.

[Caml-list] Zarith problems on ppc64le, Richard W.M. Jones, 11/07/2016
- Re: [Caml-list] Zarith problems on ppc64le, Nicolas Ojeda Bar, 11/07/2016
- Re: [Caml-list] Zarith problems on ppc64le, Francois BERENGER, 11/07/2016
  - Re: [Caml-list] Zarith problems on ppc64le, Sylvain Le Gall, 11/07/2016
    - Re: [Caml-list] Zarith problems on ppc64le, Simon Cruanes, 11/07/2016
      - Re: [Caml-list] Zarith problems on ppc64le, Bernhard Schommer, 11/15/2016
- Re: [Caml-list] Zarith problems on ppc64le, Richard W.M. Jones, 11/07/2016
  - Re: [Caml-list] Zarith problems on ppc64le, Xavier Leroy, 11/07/2016
    - Re: [Caml-list] Zarith problems on ppc64le, Richard W.M. Jones, 11/07/2016
  - Re: [Caml-list] Zarith problems on ppc64le, Goswin von Brederlow, 11/08/2016
    - Re: [Caml-list] Zarith problems on ppc64le, Richard W.M. Jones, 11/08/2016