January 2012 - iterate-devel - mailman3.common-lisp.net

[iterate-devel] ELS2012 Zadar, Croatia, Call for Papers
by Marco Antoniotti 23 Jan '12

23 Jan '12

Apologies for the multiple postings... =========================================================================== European Lisp Symposium 2012, Zadar, Croatia, April 30th - May 1st, 2012 http://european-lisp-symposium.org The purpose of the European Lisp Symposium is to provide a forum for the discussion and dissemination of all aspects of design, implementation and application of any of the Lisp and Lisp-inspired dialects, including Common Lisp, Scheme, Emacs Lisp, AutoLisp, ISLISP, Dylan, Clojure, ACL2, ECMAScript, Racket, SKILL, and so on. We encourage everyone interested in Lisp to participate. The main theme of the 2012 European Lisp Conference is "Interoperabilty: Systems, Libraries, Workflows". Lisp based and functional-languages based systems have grown a variety of solutions to become more and more integrated with the wider world of Information and Communication Technologies in current use. There are several dimensions to the scope of the solutions proposed, ranging from "embedding" of interpreters in C-based systems, to the development of abstractions levels that facilitate the expression of complex context dependent tasks, to the construction of exchange formats handling libraries, to the construction of theorem-provers for the "Semantic Web". The European Lisp Symposium 2012 solicits the submission of papers with this specific theme in mind, alongside the more traditional tracks which have appeared in the past editions. We invite submissions in the following forms: Papers: Technical papers of up to 15 pages that describe original results or explain known ideas in new and elegant ways. Demonstrations: Abstracts of up to 4 pages for demonstrations of tools, libraries, and applications. Tutorials: Abstracts of up to 4 pages for in-depth presentations about topics of special interest for at least 90 minutes and up to 180 minutes. Lightning talks: Abstracts of up to one page for talks to last for no more than 5 minutes. All submissions should be formatted following the ACM SIGS guidelines and include ACM classification categories and terms. For more information on the submission guidelines and the ACM keywords, see: http://www.acm.org/sigs/publications/proceedings-templates and http://www.acm.org/about/class/1998. Important dates: Jan 31st 2012: submission deadline Feb 21st 2012: acceptance results April 30th, 2012 Conference opens Program Commitee. Chair: Marco Antoniotti, Università degli Studi di Milano Bicocca, Milan, ITALY Local organizers: Damir Ćavar, Eastern Michigan University Franjo Pehar, University of Zadar Damir Kero, University of Zadar Members: Giuseppe Attardi, Università degli Studi di Pisa, Pisa, ITALY Pascal Costanza, Intel, Bruxelles, BELGIUM Marc Feeley, Université de Montreal, Montreal, CANADA Scott McKay, Google, U.S.A. Kent Pitman, U.S.A. Christophe Rhodes, Department of Computing, Goldsmiths, University of London, London, UNITED KINGDOM Robert Strandh, LABRI, Université de Bordeaux, Bordaux, FRANCE Didier Verna, EPITA / LRDE, FRANCE Taiichi Yuasa, Kyoto University, JAPAN

1 0

[iterate-devel] Proposed patch to ITERATE::FREE-VARS
by Robert Goldman 05 Jan '12

05 Jan '12

Steve Haflich from Franz kindly clarified to me my misunderstanding of special-operators and macros. In particular, he pointed out to me that implementations are free to implement special operators as macros. Steve writes: "I assure you that the set of special operators in ACL is _fixed+, and that there is way for you, the _user_, to extend that set. But this requirement of the ANS does not require that the set of cl-package symbols that return true under spcial-operator-p is not larger than the required operators in the table you quoted from http://www.franz.com/support/documentation/current/ansicl/subsubsu/specialf… Now see here: http://www.franz.com/support/documentation/current/ansicl/subsubsu/macrofor… specifically An implementation is free to implement a Common Lisp special operator as a macro. An implementation is free to implement any macro operator as a special operator, but only if an equivalent definition of the macro is also provided." He goes on to explain how this works in ACL: "In ACL user(31): (macro-function 'return) #<Function macroexpand-1-transform> so cl:return names _both_ a special operator and a macro. In our opinion, this is explicitly recognized by the ANS. (I think I remember being there when we of X3J13 voted this issue, but I also think I think I sometimes remember things that never occurred. Your mileage may vary.) Unfortunately, this seemingly innocent divergence from the standard breaks the code walker in ITERATE (and may break other code walkers, as well). I haven't examined this particular code walker, but I speculate that it is checking special-operator-p _before_ checking macro-function. A _portable_ walker should give the latter priority, which is what Franz believes the "implementation is free" codicil intends." Steve's understanding of the code walker in FREE-VARS is correct. Actually, over and above this, there seems to be a second bug in the code-walker: the check of (MACRO-FUNCTION (CAR FORM)) is not inside the branch for (SYMBOLP (CAR FORM)). So I believe that fixing this bug is not just a matter of pandering to ACL users, but actually a matter of fixing an incorrect code walker that could cause problems for arbitrary lisp implementations. I have attempted to fix this bug by moving the branch for MACRO-FUNCTION into the branch for SYMBOLP (CAR FORM) and moving it up before the check for SPECIAL-OPERATOR-P. See attached patch. I'd be obliged if you could review it for incorporation. It reduces the number of test failures in Allegro CL to the same as the number for SBCL: one. Best, R

1 0

[iterate-devel] Differences between lisps
by Robert Goldman 05 Jan '12

05 Jan '12

I find that ACL 8.2 gets 4 failed tests on the latest iterate from darcs: 4 out of 261 total tests failed: ITERATE.TEST::CODE-MOVEMENT.ELSE, ITERATE.TEST::CODE-MOVEMENT.FINALLY, ITERATE.TEST::CODE-MOVEMENT.FINALLY-PROTECTED, ITERATE.TEST::BUG/WALK.2. where SBCL seems to get only 1. I say "seems to," since the call to ASDF:TEST-SYSTEM does not print gracefully in SBCL, probably because of the compiler being chatty: 1 out of 261 total tests failed: ITERATE.TEST::BUG/WALK.2. For CODE-MOVEMENT.ELSE, I see a problem on ACL -- the function local-binding-check does not raise an error on ACL, although it *IS* invoked. The bug seems to further be localized to the fact that the following returns NIL on ACL: (free-variables form) looking further, this suggests that something goes wrong in the code-walker in FREE-VARS. Looking further, I think I have identified the divergence --- in ACL, CL:RETURN is a special-operator, and in SBCL, it is not: Allegro: CL-USER> (special-operator-p 'return) #<special operator RETURN @ #x1000054c32> SBCL: CL-USER> (special-operator-p 'return) NIL I believe the appropriate fix is to include RETURN in the first list of special symbols in the case statement. This will be benign for SBCL (it won't visit that, since RETURN is not a special-operator), but should fix things for ACL. Making that change, I see that now both ACL and SBCL have only one test failure. Best, r

1 1

[iterate-devel] Darcs problems...
by Robert Goldman 05 Jan '12

05 Jan '12

It seems that the problems were due to a version mismatch. Darcs 2.2 on my Mac OS X box was unable to fetch the darcs repo for iterate. Darcs 2.5 was. Oddly Darcs 2.2 on Linux was able to fetch it.... Cheers, r

1 0

[iterate-devel] Noob question about the darcs repo
by Robert Goldman 03 Jan '12

03 Jan '12

Although I have a common-lisp.net account, I find that I cannot clone the darcs repository: darcs get rgoldman@common-lisp.net:/project/iterate/darcs/iterate Invalid repository: rgoldman@common-lisp.net:/project/iterate/darcs/iterate darcs failed: (scp) failed to fetch: rgoldman@common-lisp.net:/project/iterate/darcs/iterate/_darcs/inventory Any idea what I'm doing wrong? Is there some anonymous way to clone this repository for people who don't have cl.net accounts? best, r

1 1