From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Ian Grant Newsgroups: gmane.comp.gnu.lightning.general,gmane.lisp.guile.devel Subject: Re: Bug free programs Date: Wed, 17 Sep 2014 18:10:52 -0400 Message-ID: References: <20140917005748.8CXVB.21497.root@cdptpa-web03> <8738brsz82.fsf@yeeloong.lan> <87a95yp341.fsf@yeeloong.lan> <87sijq2arb.fsf@gnu.org> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 X-Trace: ger.gmane.org 1410991871 11644 80.91.229.3 (17 Sep 2014 22:11:11 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 17 Sep 2014 22:11:11 +0000 (UTC) To: =?UTF-8?Q?Ludovic_Court=C3=A8s?= , guile-devel , lightning , Richard Stallman Original-X-From: lightning-bounces+gcglg-lightning=m.gmane.org-mXXj517/zsQ@public.gmane.org Thu Sep 18 00:11:05 2014 Return-path: Envelope-to: gcglg-lightning@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 1XUNRI-0006Z8-Fg for gcglg-lightning@m.gmane.org; Thu, 18 Sep 2014 00:11:04 +0200 Original-Received: from localhost ([::1]:47483 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XUNRH-0000Pt-Ku for gcglg-lightning@m.gmane.org; Wed, 17 Sep 2014 18:11:03 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:58504) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XUNRE-0000Pb-74 for lightning-mXXj517/zsQ@public.gmane.org; Wed, 17 Sep 2014 18:11:01 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1XUNRD-00054t-B7 for lightning-mXXj517/zsQ@public.gmane.org; Wed, 17 Sep 2014 18:11:00 -0400 Original-Received: from mail-we0-x234.google.com ([2a00:1450:400c:c03::234]:35106) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XUNRD-00054S-3t; Wed, 17 Sep 2014 18:10:59 -0400 Original-Received: by mail-we0-f180.google.com with SMTP id q59so1223854wes.39 for ; Wed, 17 Sep 2014 15:10:52 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type:content-transfer-encoding; bh=uzD6FK2P9e2yRSC/7lG50zJbImOX9p95MHTiT9zbC9U=; b=Xfbvd+GkmCjkPBsqKjnAWLDKmZYIA1OW+z9Q+ybrzFJMUkKPB4RC4OCuZWEAohBhh3 TtK2WQxgl4solc4eyVtiz3HQJamFpgnq9a+c3Vc/JD+zXmGdjrU8F+XRhOj8Sv7LrTEH UOwMheoZfWR0V02oz0UF124Voq4holXuK+pqlEY0oqs/5zJTVpu6eDsMmYGxHlg+yI6c toofuy+CJsenoMsE2omoT/f8qFpd+rvBVrtIza9wBfwSEl8pSPr4FFN+qqLXfJigzhXS KKd355u+bdMJHZKK7/EPOOvcdB8nVBap2nE5n4ouD36BEaoarxCiN4P9BgNimHs6cp3e Hq6A== X-Received: by 10.180.72.170 with SMTP id e10mr8171339wiv.75.1410991852908; Wed, 17 Sep 2014 15:10:52 -0700 (PDT) Original-Received: by 10.194.81.194 with HTTP; Wed, 17 Sep 2014 15:10:52 -0700 (PDT) In-Reply-To: <87sijq2arb.fsf-mXXj517/zsQ@public.gmane.org> X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Received-From: 2a00:1450:400c:c03::234 X-BeenThere: lightning-mXXj517/zsQ@public.gmane.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: lightning-bounces+gcglg-lightning=m.gmane.org-mXXj517/zsQ@public.gmane.org Original-Sender: lightning-bounces+gcglg-lightning=m.gmane.org-mXXj517/zsQ@public.gmane.org Xref: news.gmane.org gmane.comp.gnu.lightning.general:594 gmane.lisp.guile.devel:17477 Archived-At: T24gV2VkLCBTZXAgMTcsIDIwMTQgYXQgNTozMiBQTSwgTHVkb3ZpYyBDb3VydMOocyA8bHVkb0Bn bnUub3JnPiB3cm90ZToKPiBJYW4gR3JhbnQgPGlhbi5hLm4uZ3JhbnRAZ29vZ2xlbWFpbC5jb20+ IHNrcmliaXM6Cgo+IEZ1cnRoZXJtb3JlLCB3aGlsZSB5b3VyIGlkZWFzIG1heSBiZSB3b3J0aCBw dXJzdWluZywgaXTigJlzIG5vdCBPSyB0byBrZWVwCj4gYWdncmVzc2l2ZWx5IHBvc3RpbmcgdG8g c28gbWFueSBwZW9wbGUuICBQbGVhc2UgY29tZSBiYWNrIHRvCj4gZ3VpbGUtZGV2ZWxAZ251Lm9y ZyB3aGVuIHlvdSBoYXZlIGNvbmNyZXRlIHByb3Bvc2FscyBvciBjb2RlLCBkaXJlY3RseQo+IHJl bGV2YW50IHRvIEd1aWxlIGRldmVsb3BtZW50LCBmb3IgZGlzY3Vzc2lvbi4KCkhpIEx1ZG92aWMs CgpGaXJzdCwgc2VlOgoKICBodHRwOi8vbGlzdHMuZ251Lm9yZy9hcmNoaXZlL2h0bWwvZ3VpbGUt ZGV2ZWwvMjAxNC0wOS9tc2cwMDA0Mi5odG1sCiAgaHR0cDovL2xpc3RzLmdudS5vcmcvYXJjaGl2 ZS9odG1sL2d1aWxlLWRldmVsLzIwMTQtMDkvbXNnMDAwNjkuaHRtbAogIGh0dHA6Ly9saXN0cy5n bnUub3JnL2FyY2hpdmUvaHRtbC9ndWlsZS1kZXZlbC8yMDE0LTA5L21zZzAwMDY3Lmh0bWwKICBo dHRwOi8vbGlzdHMuZ251Lm9yZy9hcmNoaXZlL2h0bWwvZ3VpbGUtZGV2ZWwvMjAxNC0wOS9tc2cw MDA3NC5odG1sCgpUaGVuIHRlbGwgbWUgd2hhdCByZXNwb25zZXMgSSByZWNlaXZlZCBmcm9tIGd1 aWxlIGRldmVsb3BlcnMsIGFuZCB3aGF0CnlvdSBtZWFuICB3aGVuIHlvdSBzYXkgImNvbWUgYmFj ayB3aGVuIHlvdSBoYXZlIGNvbmNyZXRlIHByb3Bvc2FscyBvcgpjb2RlIj8KCkFuZCB0aGVuIHRl bGwgbWUgd2hhdCB5b3UgYW5kIGFsbCB0aGUgb3RoZXIgRlNGIG1lbWJlcnMgYXJlIGdvaW5nIHRv Cmxvb2sgbGlrZSBpZiB0aGUgd2hvbGUgRlNGIHN0YXJ0cyB0byBmYWxsIGRvd24gYXJvdW5kIHlv dXIgZWFycywgYW5kCnlvdSBzdG9wcGVkIG1lIGZyb20gcG9zdGluZyBtZXNzYWdlcyB3aGljaCB3 ZXJlIGp1c3QgYW5kIGRlY2VudAphdHRlbXB0cyB0byB3YWtlIHBlb3BsZSB1cCBmcm9tIHRoZWly IHRvcnBvciwgc2ltcGx5IGJlY2F1c2Ugc29tZQp3ZWFrLW1pbmRlZCBwZW9wbGUgZ290IGEgbGl0 dGxlIG9mZmVuZGVkIGF0IGJlaW5nIGFkZHJlc3NlZCBkaXJlY3RseQphbmQgY291bGRuJ3QganVz dGlmeSB3aGF0IHRoZXkgaGFkIHdyaXR0ZW4uCgpJYW4KCl9fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fCkxpZ2h0bmluZyBtYWlsaW5nIGxpc3QKTGlnaHRuaW5n QGdudS5vcmcKaHR0cHM6Ly9saXN0cy5nbnUub3JnL21haWxtYW4vbGlzdGluZm8vbGlnaHRuaW5n Cg==