From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <rich@annexia.org>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id 49D337F787
	for <caml-list@sympa.inria.fr>; Mon,  7 Nov 2016 14:22:03 +0100 (CET)
Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=rich@annexia.org; spf=Pass smtp.mailfrom=rich@annexia.org; spf=Pass smtp.helo=postmaster@annexia.org
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  rich@annexia.org) identity=pra; client-ip=80.68.91.176;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="rich@annexia.org";
  x-sender="rich@annexia.org"; x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  rich@annexia.org designates 80.68.91.176 as permitted sender)
  identity=mailfrom; client-ip=80.68.91.176;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="rich@annexia.org";
  x-sender="rich@annexia.org"; x-conformance=sidf_compatible;
  x-record-type="v=spf1"
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  postmaster@annexia.org designates 80.68.91.176 as permitted
  sender) identity=helo; client-ip=80.68.91.176;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="rich@annexia.org";
  x-sender="postmaster@annexia.org";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
IronPort-PHdr: =?us-ascii?q?9a23=3A+ALCYBZNE1wbC3XzRG+iLtj/LSx+4OfEezUN459i?=
 =?us-ascii?q?sYplN5qZpc+/bnLW6fgltlLVR4KTs6sC0LuM9fG8Ejdaqb+681k6OKRWUBEEjc?=
 =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZv?=
 =?us-ascii?q?IaytQ8iJ3p7xhrz5oMebSj4LrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYe?=
 =?us-ascii?q?VcyDAgD1uSmxHh+pX4p8Y7oGwD884mosVJVKG/e6UjUZRZCi4nOiY7/p7Frx7G?=
 =?us-ascii?q?GEG153AcW38a2iUOJk6Nzhb8U4y7+n/gt+F98CCcO8DmTLlyXi6tufQ4ACT0gT?=
 =?us-ascii?q?sKYmZquFrcjdZ92fpW?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DqBQBhfyBY/7BbRFBdHgYMgy4BAQEBA?=
 =?us-ascii?q?R9YXR+CeaAYAQEBAQEBBpVugggpiAJBEgEBAQEBAQEBAQEBYSiCMxiCV3sTIQU?=
 =?us-ascii?q?oiRAKoTeSOotpBYV0QIlyhRQFiEWHTIoWAYE+hHaKBIFjjjiRMCUDLXqCXwwBg?=
 =?us-ascii?q?j4+NAGICAEBAQ?=
X-IPAS-Result: =?us-ascii?q?A0DqBQBhfyBY/7BbRFBdHgYMgy4BAQEBAR9YXR+CeaAYAQE?=
 =?us-ascii?q?BAQEBBpVugggpiAJBEgEBAQEBAQEBAQEBYSiCMxiCV3sTIQUoiRAKoTeSOotpB?=
 =?us-ascii?q?YV0QIlyhRQFiEWHTIoWAYE+hHaKBIFjjjiRMCUDLXqCXwwBgj4+NAGICAEBAQ?=
X-IronPort-AV: E=Sophos;i="5.31,606,1473112800"; 
   d="scan'208";a="199474338"
Received: from annexia.org ([80.68.91.176])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 07 Nov 2016 14:22:02 +0100
Received: from rich by annexia.org with local (Exim 4.84_2)
	(envelope-from <rich@annexia.org>)
	id 1c3js9-0004Ih-9D
	for caml-list@inria.fr; Mon, 07 Nov 2016 13:22:01 +0000
Date: Mon, 7 Nov 2016 13:22:01 +0000
From: "Richard W.M. Jones" <rich@annexia.org>
To: caml-list@inria.fr
Message-ID: <20161107132201.GG27249@annexia.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.5.23 (2014-03-12)
Subject: [Caml-list] Zarith problems on ppc64le


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.