From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Nala Ginrut Newsgroups: gmane.lisp.guile.devel Subject: Re: Verifying Toolchain Semantics Date: Sun, 5 Oct 2014 23:15:23 +0800 Message-ID: References: <87mw9dfz8l.fsf@netris.org> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=001a11c3812a6786510504ae6fd8 X-Trace: ger.gmane.org 1412522137 13715 80.91.229.3 (5 Oct 2014 15:15:37 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 5 Oct 2014 15:15:37 +0000 (UTC) Cc: guile-devel To: Ian Grant Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Sun Oct 05 17:15:30 2014 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1XanWz-0007GP-Rm for guile-devel@m.gmane.org; Sun, 05 Oct 2014 17:15:29 +0200 Original-Received: from localhost ([::1]:47738 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XanWz-00088V-3U for guile-devel@m.gmane.org; Sun, 05 Oct 2014 11:15:29 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:42136) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XanWv-00088M-EA for guile-devel@gnu.org; Sun, 05 Oct 2014 11:15:26 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1XanWu-0004Rk-FX for guile-devel@gnu.org; Sun, 05 Oct 2014 11:15:25 -0400 Original-Received: from mail-wg0-x231.google.com ([2a00:1450:400c:c00::231]:58131) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XanWu-0004RK-8x for guile-devel@gnu.org; Sun, 05 Oct 2014 11:15:24 -0400 Original-Received: by mail-wg0-f49.google.com with SMTP id x12so4839728wgg.32 for ; Sun, 05 Oct 2014 08:15:23 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=ujwJinEYrWsQkYHQbYBe5fD1o3WLcmNBP6tiQSvbgQM=; b=lPmgeM6ASuqSydTfJtS1Mo0XtYKSN9q02Zo1Jqrkm+2Et6Bkx2Z5hX1dFvXizn/jid C8wDotxEG86SZD8yeZI4Bs8cK4Y7HEqs5jzEwuARmYm+/w9Seyt+tMfVltWB2YTcxlXI iLnTmXGyD8bFfYKb0vhh9NomlmUPFAXfn4F9Ih0lM5UtrKmi54dDEVn+eOU16XPOMnRa l5KOCdsxACMKJPPr1+3YO7bNE3sGfpb8Z5gmnhr9Miwe8+wXrJ5JckIlglHxIddduR53 8uOAf2a32z9v0nsta040quGLg4ufqjoyduFpVqsAHhAdRzKJIqKcZpIjmn1618kSgPS+ Rkfg== X-Received: by 10.180.149.130 with SMTP id ua2mr12797172wib.68.1412522123427; Sun, 05 Oct 2014 08:15:23 -0700 (PDT) Original-Received: by 10.27.130.95 with HTTP; Sun, 5 Oct 2014 08:15:23 -0700 (PDT) In-Reply-To: X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Received-From: 2a00:1450:400c:c00::231 X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Original-Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.devel:17548 Archived-At: --001a11c3812a6786510504ae6fd8 Content-Type: text/plain; charset=UTF-8 On Sun, Oct 5, 2014 at 10:14 PM, Ian Grant wrote: > On Sun, Oct 5, 2014 at 1:39 AM, Nala Ginrut wrote: > > > > The real problem here, is the provided PDF can't be opened normally. > That's > > bad, for your idea. It's your mistake, not others. > > Then tell me the name, the sha512sum of the file, the URL from which > you downloaded it and the size of the file as reported by your > filesystem. Also tell me the exact error, and the program (including > the version number) and if possible the file location of the error. > > Alright, I changed a system and try it again with evince successfully. Anyway, I did't find any maths or special symbols in it, so it could be published on your blog as plain text. But you may insist on the opinion of PDF. It's not your mistake but mine. ;-) Thanks > Ian > --001a11c3812a6786510504ae6fd8 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

= On Sun, Oct 5, 2014 at 10:14 PM, Ian Grant <ian.a.n.grant@googl= email.com> wrote:
On Su= n, Oct 5, 2014 at 1:39 AM, Nala Ginrut <nalaginrut@gmail.com> wrote:
>
> The real problem here, is the provided PDF can't be opened normall= y. That's
> bad, for your idea. It's your mistake, not others.

Then tell me the name, the sha512sum of the file, the URL from which=
you downloaded it and the size of the file as reported by your
filesystem. Also tell me the exact error, and the program (including
the version number) and if possible the file location of the error.


Alright, I changed a system and try it= again with evince successfully.=C2=A0
Anyway, I did't fi= nd any maths or special symbols in it, so it could be published on your blo= g as plain text. But you may insist on the opinion of PDF.
It'= ;s not your mistake but mine. ;-)=C2=A0

Thanks
Ian

--001a11c3812a6786510504ae6fd8--