From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Stefan Israelsson Tampe Newsgroups: gmane.lisp.guile.devel Subject: Re: FOL Date: Thu, 16 Sep 2010 23:02:30 +0200 Message-ID: <201009162302.30541.stefan.tampe@spray.se> References: <201009162100.34493.stefan.tampe@spray.se> <87mxrhjucd.fsf@gnu.org> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: Text/Plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1284670964 17883 80.91.229.12 (16 Sep 2010 21:02:44 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Thu, 16 Sep 2010 21:02:44 +0000 (UTC) To: guile-devel@gnu.org Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Thu Sep 16 23:02:41 2010 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1OwLbL-0007S2-43 for guile-devel@m.gmane.org; Thu, 16 Sep 2010 23:02:39 +0200 Original-Received: from localhost ([127.0.0.1]:33771 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1OwLbK-0004du-DC for guile-devel@m.gmane.org; Thu, 16 Sep 2010 17:02:38 -0400 Original-Received: from [140.186.70.92] (port=56760 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1OwLbD-0004ct-UA for guile-devel@gnu.org; Thu, 16 Sep 2010 17:02:32 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69) (envelope-from ) id 1OwLb8-00075a-MO for guile-devel@gnu.org; Thu, 16 Sep 2010 17:02:31 -0400 Original-Received: from spsmtp02oc.mail2world.com ([74.202.142.198]:4269) by eggs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1OwLb8-000759-IM for guile-devel@gnu.org; Thu, 16 Sep 2010 17:02:26 -0400 Original-Received: from mail pickup service by spsmtp02oc.mail2world.com with Microsoft SMTPSVC; Thu, 16 Sep 2010 14:02:24 -0700 auth-sender: stefan.tampe@spray.se Original-Received: from 82.182.254.46 unverified ([82.182.254.46]) by spsmtp02oc.mail2world.com with Mail2World SMTP Server; Thu, 16 Sep 2010 14:02:22 -0700 User-Agent: KMail/1.13.5 (Linux/2.6.34-12-desktop; KDE/4.4.4; x86_64; ; ) In-Reply-To: <87mxrhjucd.fsf@gnu.org> X-OriginalArrivalTime: 16 Sep 2010 21:02:24.0515 (UTC) FILETIME=[76414530:01CB55E2] X-detected-operating-system: by eggs.gnu.org: Windows 2000 SP4, XP SP1+ X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.devel:10926 Archived-At: >=20 > What are your plans for your Prolog compiler, in terms of releases, > merges, and whatnot? :-) This is on my list before I think that it will be merged/released a beta 1. I'm in the process to replace the matchers with modified Shinn. The main problem using prompts is that I don't get tail call's, I do have it with=20 the fragile umatch and Shinn! Also I will not need to patch guile sources. I'll use a pure Scheme backend and a c-code version. 2. Write test test code - which now is a good time to start when there are decent syntax error reports. > > For setting up the error reporting I used a pdf > > describing the syntax-parse macro > >=20 > > http://www.ccs.neu.edu/scheme/pubs/icfp10-cf.pdf >=20 > Yeah, that seems like an improvement in terms of error detection and > error reporting (better than =E2=80=9Csource expression failed to match a= ny > pattern=E2=80=9D...). >=20 > However, I don=E2=80=99t like the aesthetics: keywords, and, worse, type > annotations embedded in identifiers. The syntax can be fixed, any ideas? /Stefan