From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 BFE087F787 for ; Mon, 7 Nov 2016 14:31:55 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=nicolas.ojeda.bar@lexifi.com; spf=None smtp.mailfrom=nicolas.ojeda.bar@lexifi.com; spf=TempError smtp.helo=postmaster@vrin10.int.yaziba.net Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of nicolas.ojeda.bar@lexifi.com) identity=pra; client-ip=185.56.204.30; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="nicolas.ojeda.bar@lexifi.com"; x-sender="nicolas.ojeda.bar@lexifi.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of nicolas.ojeda.bar@lexifi.com) identity=mailfrom; client-ip=185.56.204.30; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="nicolas.ojeda.bar@lexifi.com"; x-sender="nicolas.ojeda.bar@lexifi.com"; x-conformance=sidf_compatible Received-SPF: TempError (mail3-smtp-sop.national.inria.fr: domain of postmaster@vrin10.int.yaziba.net temporarily is not available to assert whether or not 185.56.204.30 is permitted sender) identity=helo; client-ip=185.56.204.30; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="nicolas.ojeda.bar@lexifi.com"; x-sender="postmaster@vrin10.int.yaziba.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AwsJB4x+CAT82h/9uRHKM819IXTAuvvDOBiVQ1KB8?= =?us-ascii?q?0+wcTK2v8tzYMVDF4r011RmSDN+duq4P0LCempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47AblHf6ke/8SQVUk2mc1Ek?= =?us-ascii?q?fKKkRsWJ1Yye7KObw9XreQJGhT6wM/tZDS6dikHvjPQQmpZoMa0ryxHE8TNicu?= =?us-ascii?q?VSwn50dxrIx06vru/5xpNo8jxRtvQ97IYAFPyiJ+Vre4dFFywrOHwZ48jitB+L?= =?us-ascii?q?DVfepyhUbmJD2CBJCAjM9h2yYdHU9GPYsexww2PSadf3RrAcUDKk4rdqQVnvki?= =?us-ascii?q?hRZBAj92SCrM17i6ZSu1qGpRFzysb+aZvdYPx/daTZdMhcQmhMUs8XXSVbKoex?= =?us-ascii?q?f4oBDqwKOuMO/Nq1nEcHsRbrXVrkP+jo0DIdwyKv0A=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AHAADAgSBYlx7MOLldGwEBAQMBAQEJA?= =?us-ascii?q?QEBFgEBAQMBAQEJAQEBgwMBAQEBAXd8B40xlwGCNpIcgggphXsCgX5GFAEBAQE?= =?us-ascii?q?BAQEBAQEBEgEBAQEBCBYHTYIzBAEVBYIQAQEDARIRSwsQCwQHGh0CAiISAQUBC?= =?us-ascii?q?hIGExIQiBwDDwgECqNGgTI/MotPgkCHQgODeAEBAQEBBQEBAQEBAQEBH4sTh0u?= =?us-ascii?q?CXAWGfQyBPIdMhDaFYIY1ig+CPI1UjSqCQxMegRACDw+BGjKCW0yBaXEBhjqBT?= =?us-ascii?q?gEBAQ?= X-IPAS-Result: =?us-ascii?q?A0AHAADAgSBYlx7MOLldGwEBAQMBAQEJAQEBFgEBAQMBAQE?= =?us-ascii?q?JAQEBgwMBAQEBAXd8B40xlwGCNpIcgggphXsCgX5GFAEBAQEBAQEBAQEBEgEBA?= =?us-ascii?q?QEBCBYHTYIzBAEVBYIQAQEDARIRSwsQCwQHGh0CAiISAQUBChIGExIQiBwDDwg?= =?us-ascii?q?ECqNGgTI/MotPgkCHQgODeAEBAQEBBQEBAQEBAQEBH4sTh0uCXAWGfQyBPIdMh?= =?us-ascii?q?DaFYIY1ig+CPI1UjSqCQxMegRACDw+BGjKCW0yBaXEBhjqBTgEBAQ?= X-IronPort-AV: E=Sophos;i="5.31,606,1473112800"; d="scan'208,217";a="199475974" Received: from mx10-ct.yaziba.net (HELO vrin10.int.yaziba.net) ([185.56.204.30]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 07 Nov 2016 14:31:29 +0100 Received: from mtaout20.int.yaziba.net (mtaout20.int.yaziba.net [10.4.20.37]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by vrin10.int.yaziba.net (mx10.yaziba.net) with ESMTPS id 6376351E47 for ; Mon, 7 Nov 2016 14:31:24 +0100 (CET) Received: from localhost (localhost [127.0.0.1]) by mtaout20.int.yaziba.net (Postfix) with ESMTP id 9671616032C for ; Mon, 7 Nov 2016 14:31:24 +0100 (CET) X-Virus-Scanned: amavisd-new at mtaout20.int.yaziba.net Received: from mtaout20.int.yaziba.net ([127.0.0.1]) by localhost (mtaout20.int.yaziba.net [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id HASdGmQx-hpb for ; Mon, 7 Nov 2016 14:31:24 +0100 (CET) Received: from mail-qk0-f171.google.com (mail-qk0-f171.google.com [209.85.220.171]) by mtaout20.int.yaziba.net (Postfix) with ESMTPSA id 66D541602B8 for ; Mon, 7 Nov 2016 14:31:24 +0100 (CET) Received: by mail-qk0-f171.google.com with SMTP id x190so173697119qkb.0 for ; Mon, 07 Nov 2016 05:31:24 -0800 (PST) X-Gm-Message-State: ABUngvdEnb8qrN52pJJbVnwklkf4J+XoQdmTUXtcpdJX9GoYzKwtijg8HXMFVQKNLzflrJ3VDQEoTIMM5ocoGQ== X-Received: by 10.55.105.129 with SMTP id e123mr7217137qkc.173.1478525483380; Mon, 07 Nov 2016 05:31:23 -0800 (PST) MIME-Version: 1.0 Received: by 10.237.53.118 with HTTP; Mon, 7 Nov 2016 05:31:02 -0800 (PST) In-Reply-To: <20161107132201.GG27249@annexia.org> References: <20161107132201.GG27249@annexia.org> From: Nicolas Ojeda Bar Date: Mon, 7 Nov 2016 14:31:02 +0100 X-Gmail-Original-Message-ID: Message-ID: To: "Richard W.M. Jones" Cc: OCaml Mailing List Content-Type: multipart/alternative; boundary=001a114872ba3a763a0540b60a6e X-DRWEB-SCAN: ok X-VRSPAM-SCORE: -51 X-VRSPAM-STATE: legit X-VRSPAM-CAUSE: gggruggvucftvghtrhhoucdtuddrfeelvddrleeggdehvdcutefuodetggdotefrucfrrhhofhhilhgvmecuggftfghnshhusghstghrihgsvgenuceurghilhhouhhtmecufedttdenucesvcftvggtihhpihgvnhhtshculddquddttddmnegoufhushhpvggtthffohhmrghinhculdegledmnecujfgurhepjghfhfffkffuvfgtsegrtderredttdejnecuhfhrohhmpefpihgtohhlrghsucfqjhgvuggruceurghruceonhhitgholhgrshdrohhjvggurgdrsggrrheslhgvgihifhhirdgtohhmqeenucffohhmrghinheprhgvughhrghtrdgtohhmpdhinhhrihgrrdhfrhdpghhithhhuhgsrdgtohhmpdihrghhohhordgtohhmnecukfhppedvtdelrdekhedrvddvtddrudejudenucfrrghrrghmpehmohguvgepshhmthhpohhuth X-VRSPAM-EXTCAUSE: mhhouggvpehsmhhtphhouhht Subject: Re: [Caml-list] Zarith problems on ppc64le --001a114872ba3a763a0540b60a6e Content-Type: text/plain; charset=UTF-8 Hi Richard, There seems to be an (unofficial) mirror at https://github.com/bobot/zarith. Cheers, Nicolas On Mon, Nov 7, 2016 at 2:22 PM, Richard W.M. Jones wrote: > > 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 mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > --001a114872ba3a763a0540b60a6e Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Hi Richard,

There seems to be an (unoff= icial) mirror at=C2=A0https://g= ithub.com/bobot/zarith.

Cheers,
Nico= las


On Mon, Nov 7, 2016 at 2:22 PM, Richard W.M. Jones <rich@ann= exia.org> wrote:

https://bugzilla.redhat.com/show_bug.cgi?i= d=3D1392247

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

=C2=A0of_float -1.
- =3D -1
+ =3D 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.=C2=A0 Using anon svn access hangs.=C2=A0 Using svn+ssh access fail= s to
authenticate.=C2=A0 (Could we switch the project over to git?)=C2=A0 I'= m fairly
sure this isn't a network problem at my end.

Rich.

--
Caml-list mailing list.=C2=A0 Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

--001a114872ba3a763a0540b60a6e--