From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Noah Lavine Newsgroups: gmane.lisp.guile.devel Subject: Re: Update and Questions Date: Thu, 15 Dec 2011 18:06:14 -0500 Message-ID: References: <87wr9x6e8i.fsf@fencepost.gnu.org> <87obv96d18.fsf@fencepost.gnu.org> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1323990389 29009 80.91.229.12 (15 Dec 2011 23:06:29 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Thu, 15 Dec 2011 23:06:29 +0000 (UTC) Cc: David Kastrup , guile-devel@gnu.org To: Nala Ginrut Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Fri Dec 16 00:06:25 2011 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([140.186.70.17]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1RbKNa-0005i7-It for guile-devel@m.gmane.org; Fri, 16 Dec 2011 00:06:22 +0100 Original-Received: from localhost ([::1]:54515 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RbKNZ-0005zT-Pz for guile-devel@m.gmane.org; Thu, 15 Dec 2011 18:06:21 -0500 Original-Received: from eggs.gnu.org ([140.186.70.92]:44971) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RbKNV-0005xa-NL for guile-devel@gnu.org; Thu, 15 Dec 2011 18:06:18 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1RbKNU-00084W-Qt for guile-devel@gnu.org; Thu, 15 Dec 2011 18:06:17 -0500 Original-Received: from mail-iy0-f169.google.com ([209.85.210.169]:56910) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1RbKNT-00084G-Tn; Thu, 15 Dec 2011 18:06:15 -0500 Original-Received: by iacb35 with SMTP id b35so1998256iac.0 for ; Thu, 15 Dec 2011 15:06:15 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:cc:content-type :content-transfer-encoding; bh=G2Cq7+orFB7jMppepaJiQTVeAiqn+NPzOEhYEYkZruQ=; b=NYei26JY7Fq9/FLnb0DrIhczyH9xgFJbQdg/DIj2+CVJWfpjRZeHWfj+cNipodwzLt VIrTkMkRI0ojYn/GxDtZCdhkaR4qtOPc5shSSgPtqFCOVavig1QTT7KLJHv6WHc3wMLT +aPA+xaB/WEu6rv/0b6602DfmheZpX2m6MyMY= Original-Received: by 10.50.161.162 with SMTP id xt2mr4523615igb.72.1323990374802; Thu, 15 Dec 2011 15:06:14 -0800 (PST) Original-Received: by 10.42.217.6 with HTTP; Thu, 15 Dec 2011 15:06:14 -0800 (PST) In-Reply-To: X-Google-Sender-Auth: aOIOjhomMyGT1sjzyMljQTdieok X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 2) X-Received-From: 209.85.210.169 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:13122 Archived-At: On Thu, Dec 15, 2011 at 11:19 AM, Nala Ginrut wrote: > well, I see. I haven't used=A0Stalin=A0before, so I guess the generated C= code > must be compiled without any Gcc extension? I think he's making a joke that Richard Stallman is always pedantic, so the -pedantic flag is redundant. > @Noah: Anyway, will you add r5rs support to it? I found Stalin doesn't > provide that. I would love to. That is far in the future, though - my current goal is to type-check Tree-IL. I have been working on that, and I think I am close to having something ready to show, although not quite there. Expect an email about the wip-compiler branch in the next few days. Noah > On Fri, Dec 16, 2011 at 12:00 AM, David Kastrup wrote: >> >> Nala Ginrut writes: >> >> > -pedantic? Sorry, but I'm afraid I didn't see it in Noah's >> > description. >> > >> > Anyone give me some context? >> >> gcc has an option -pedantic for strict standard adherence. >> >> -- >> David Kastrup > >