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

[iterate-devel] Bug: "collect at beginning" ignores specified sequence type
by Ilya Perminov 09 May '12

09 May '12

Hi, I reported this bug a few years ago, but it is still there. If both AT BEGINNING and RESULT-TYPE are specified, RESULT-TYPE is ignored. Example: (iter (for i below 2) (collect i at beginning result-type vector)) returns (1 0). Can someone with write access to the darcs repository fix the bug please. My previous report includes a patch: http://www.mail-archive.com/iterate-devel@common-lisp.net/msg00142.html Thanks, Ilya

2 1

[iterate-devel] iterate tests regression on ACL linux 64 (quicklisp 2012-04-07 vs 2012-03-07): handler-bind.1
by Anton Vodonosov 06 May '12

06 May '12

Iterate test suite shows regression between quicklisp 2012-03-07 and quicklisp 2012-04-07. acl-8.2a-linux-x64. Test logs: quicklisp 2012-03-07: http://cl-test-grid.appspot.com/blob?key=AMIfv97pKvcGKmd6_yqeRupJ3ii6PsLmOu… failed tests: bug/walk.2 code-movement.else code-movement.finally code-movement.finally-protected quicklisp 2012-04-07: http://cl-test-grid.appspot.com/blob?key=20006 failed tests: bug/walk.2 code-movement.else code-movement.finally code-movement.finally-protected handler-bind.1 As you see, new failure is handler-bind.1.

1 0

[iterate-devel] ELS 2012, Zadar, Croatia
by Marco Antoniotti 01 Feb '12

01 Feb '12

Apologies for the multiple postings. PAPER SUBMISSION DEADLINE EXTENDED 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 "Interoperability: 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: February 15th 2012: submission deadline (extended deadline) March 7th 2012: acceptance results April 30th 2012: Conference opens Program Commitee. Chair: Marco Antoniotti, Università degli Studi di Milano Bicocca, Milan, ITALY Local organizers: Damir Cavar, 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 -- Marco Antoniotti

1 0

[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

[iterate-devel] test failure: BUG/WALK.2
by Anton Vodonosov 28 Dec '11

28 Dec '11

Hello. I am running iterate tests (between other often-used CL libraries) on different Lisps. The results of continuous testing may be found here: http://common-lisp.net/project/cl-test-grid/pivot_ql-lib_lisp.html. Currently Iterate has the same failure on all the lisps: Test ITERATE.TEST::BUG/WALK.2 failed Form: (ITERATE:ITER (RETURN (IF (ODDP 1) (PROGN) 'ITERATE.TEST::EVEN))) Expected value: NIL Actual value: ITERATE.TEST::EVEN. Best regards, - Anton

1 0

[iterate-devel] Iterate symbol case changes for non-standard lower case CL implementations.
by Douglas Crosher 02 Nov '11

02 Nov '11

Hi, The Scieneer CL and ACL have non-standard versions or modes in which the standard symbols are lower case and this can be accommodated with some minor changes. Regards Douglas Crosher

1 0