- cmucl-imp - mailman3.common-lisp.net

[cmucl-imp] Function with declared result type NIL returned.
by Mark Cox 15 Jun '16

15 Jun '16

G'day, I think there may be an issue with the way CMUCL handles return values. I'm having trouble developing a reduced test case so I have attached the code I encountered the issue with. The code relies on an external library titled external-program. I'm using cumcl-2016-06-x86-darwin. Thanks Mark ;; $ git clone https://github.com/sellout/external-program.git ;; $ cd external-program && git checkout 9f6d518 ;; $ cmucl -noinit -load issue.lisp ;; issue.lisp (in-package "CL-USER") (eval-when (:compile-toplevel :load-toplevel :execute) (require :asdf)) (eval-when (:compile-toplevel :load-toplevel :execute) (push (merge-pathnames "external-program/") asdf:*central-registry*) (asdf:load-system "external-program")) (defun test () (print (lisp-implementation-type)) (print (lisp-implementation-version)) (terpri) (external-program:start "/bin/ls" (list "-la") :output *standard-output*)) (unwind-protect (test) (uiop:quit)) ;; $ cmucl -noinit -load issue.lisp ;; "CMU Common Lisp" ;; "snapshot-2016-06 (21A Unicode)" ;; Function with declared result type NIL returned: ;; (PCL:FAST-METHOD EXTERNAL-PROGRAM:START (T T)) ;; [Condition of type KERNEL:SIMPLE-CONTROL-ERROR] ;; Restarts: ;; 0: [CONTINUE] Return NIL from load of "issue.lisp". ;; 1: [ABORT ] Skip remaining initializations. ;; Debug (type H for help) ;; ("LAMBDA (.KEYARGS-START. .VALID-KEYS. G3148)" #<unused-arg> #<unused-arg> ;; "/bin/ls" ("-la") ...) ;; Source: (FUNCALL (THE FUNCTION #'(PCL:FAST-METHOD EXTERNAL-PROGRAM:START #)) ;; (PCL::FAST-METHOD-CALL-PV-CELL #:G3148) ;; (PCL::FAST-METHOD-CALL-NEXT-METHOD-CALL #:G3148) ;; PCL::.ARG0. ;; ...) ;; 0] total 16 ;; drwxr-xr-x 5 hungry wheel 170 15 Jun 09:20 . ;; drwxrwxrwt 37 root wheel 1258 15 Jun 09:20 .. ;; -rw-r--r-- 1 hungry wheel 634 15 Jun 09:20 issue.lisp ;; drwxr-xr-x 8 hungry wheel 272 15 Jun 09:20 external-program

2 3

[cmucl-imp] Snapshot 2016-06
by Raymond Toy 01 Jun '16

01 Jun '16

The 2016-06 snapshot has been tagged and binaries will be uploaded soon. Major changes: o Ancient bug in COERCE fixed where coercing a double-float to a float would produce a single-float result instead of returning the original number (since it's already of type float). o The binding stack and control stack are now mapped into memory wherever this is space instead of being mapped at fixed locations. -- Ray

1 1

[cmucl-imp] Snapshot 2016-03
by Raymond Toy 13 Mar '16

13 Mar '16

The 2016-03 snapshot has been tagged and binaries will be uploaded soon. Only one change of note for this snapshot. The max heap (dynamic-space-size) has been reduced slightly to 1530 MB because 32-bit Ubuntu 11.10 requires a slightly smaller limit. -- Ray

1 0

[cmucl-imp] [CfP] ELS 2016 Deadline extension: Sat Feb 27
by Didier Verna 20 Feb '16

20 Feb '16

ELS'16 - 9th European Lisp Symposium Department of Computer Science AGH University of Science and Technology Kraków, Poland May 9-10, 2016 In cooperation with: ACM SIGPLAN Sponsored by EPITA, Franz Inc., LispWorks Ltd., IdEx and Dept. of Computer Science AGH UST http://www.european-lisp-symposium.org/ Recent news: - *** Submission deadline extended to Saturday Feb 27 *** 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, Hop and so on. We encourage everyone interested in Lisp to participate. The 9th European Lisp Symposium invites high quality papers about novel research results, insights and lessons learned from practical applications and educational perspectives. We also encourage submissions about known ideas as long as they are presented in a new setting and/or in a highly elegant way. Topics include but are not limited to: - Context-, aspect-, domain-oriented and generative programming - Macro-, reflective-, meta- and/or rule-based development approaches - Language design and implementation - Language integration, inter-operation and deployment - Development methodologies, support and environments - Educational approaches and perspectives - Experience reports and case studies We invite submissions in the following forms: Papers: Technical papers of up to 8 pages that describe original results or explain known ideas in new and elegant ways. Demonstrations: Abstracts of up to 2 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. The symposium will also provide slots for lightning talks, to be registered on-site every day. 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. The conference proceedings will be published in the ACM Digital Library. Important dates: - *** EXTENDED *** 27 Feb 2016 Submission deadline *** EXTENDED *** - 25 Mar 2016 Notification of acceptance - 15 Apr 2016 Early registration deadline - 22 Apr 2016 Final papers due - 9-10 May 2016 Symposium Programme chair: Irène Durand, LaBRI, University of Bordeaux, France Local chair: Michał Psota, Emergent Network Defense, Kraków, Poland Programme committee: Antonio Leitao — INESC-ID / Instituto Superior Técnico, Universidade de Lisboa, Portugal Charlotte Heerzel — IMEC, Leuven, Belgium Christian Queinnec — University Pierre et Marie Curie, Paris 6, France Christophe Rhodes — Goldsmiths, University of London, United Kingdom Didier Verna — EPITA Research and Development Laboratory, France Erick Gallesio — University of Nice-Sophia Antipolis, France François-René Rideau, Google, USA Giuseppe Attardi — University of Pisa, Italy Henry Lieberman — MIT, USA Kent Pitman, HyperMeta Inc., USA Leonie Dreschler-Fischer — University of Hamburg, Germany Pascal Costanza — Intel Corporation, Belgium Robert Strandh — University of Bordeaux, France Search Keywords: #els2016, ELS 2016, ELS '16, European Lisp Symposium 2016, European Lisp Symposium '16, 9th ELS, 9th European Lisp Symposium, European Lisp Conference 2016, European Lisp Conference '16 -- Resistance is futile. You will be jazzimilated. Lisp, Jazz, Aïkido: http://www.didierverna.info

1 0

[cmucl-imp] President's day snapshot
by Raymond Toy 15 Feb '16

15 Feb '16

Just in time for President's Day, the February snapshot has been tagged. Major changes are some important fixes dealing with handling of floating-point exceptions. I think these are cleaned up and behave better now on x86. Also, a few docstrings were updated with more information. Binaries will be uploaded soon. -- Ray

1 0

[cmucl-imp] [CfP] 9th European Lisp Symposium, May 9-10, Krakow, Poland
by Didier Verna 21 Jan '16

21 Jan '16

ELS'16 - 9th European Lisp Symposium Department of Computer Science AGH University of Science and Technology Kraków, Poland May 9-10, 2016 In cooperation with: ACM SIGPLAN Sponsored by EPITA, Franz Inc., LispWorks Ltd. and Dept. of Computer Science AGH UST http://www.european-lisp-symposium.org/ Recent news: - Submission deadline in less than a month! - 3nd invited speaker announced: Stephan Karpinski on Julia: to Lisp or Not to Lisp? 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, Hop and so on. We encourage everyone interested in Lisp to participate. The 9th European Lisp Symposium invites high quality papers about novel research results, insights and lessons learned from practical applications and educational perspectives. We also encourage submissions about known ideas as long as they are presented in a new setting and/or in a highly elegant way. Topics include but are not limited to: - Context-, aspect-, domain-oriented and generative programming - Macro-, reflective-, meta- and/or rule-based development approaches - Language design and implementation - Language integration, inter-operation and deployment - Development methodologies, support and environments - Educational approaches and perspectives - Experience reports and case studies We invite submissions in the following forms: Papers: Technical papers of up to 8 pages that describe original results or explain known ideas in new and elegant ways. Demonstrations: Abstracts of up to 2 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. The symposium will also provide slots for lightning talks, to be registered on-site every day. 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. The conference proceedings will be published in the ACM Digital Library. Important dates: - 19 Feb 2016 Submission deadline - 25 Mar 2016 Notification of acceptance - 15 Apr 2016 Early registration deadline - 22 Apr 2016 Final papers due - 9-10 May 2016 Symposium Programme chair: Irène Durand, LaBRI, University of Bordeaux, France Local chair: Michał Psota, Emergent Network Defense, Kraków, Poland Programme committee: Antonio Leitao — INESC-ID / Instituto Superior Técnico, Universidade de Lisboa, Portugal Charlotte Heerzel — IMEC, Leuven, Belgium Christian Queinnec — University Pierre et Marie Curie, Paris 6, France Christophe Rhodes — Goldsmiths, University of London, United Kingdom Didier Verna — EPITA Research and Development Laboratory, France Erick Gallesio — University of Nice-Sophia Antipolis, France François-René Rideau, Google, USA Giuseppe Attardi — University of Pisa, Italy Henry Lieberman — MIT, USA Kent Pitman, HyperMeta Inc., USA Leonie Dreschler-Fischer — University of Hamburg, Germany Pascal Costanza — Intel Corporation, Belgium Robert Strandh — University of Bordeaux, France Search Keywords: #els2016, ELS 2016, ELS '16, European Lisp Symposium 2016, European Lisp Symposium '16, 9th ELS, 9th European Lisp Symposium, European Lisp Conference 2016, European Lisp Conference '16 -- @-quartet live: Sunset/Sunside, Paris, Jan 26 2016 ! Book now: http://www.sunset-sunside.com/2016/1/artiste/2101/3453/ Lisp, Jazz, Aïkido: http://www.didierverna.info

1 0

[cmucl-imp] Happy New Year (snapshot-2016-01)
by Raymond Toy 09 Jan '16

09 Jan '16

It's another year and another snapshot. A few changes to start off the new year: * ASDF 3.1.6.9 * (EXPT 0 POWER) doesn't throw INTEXP-LIMIT-ERROR anymore for any integer value of POWER. * If the option -dynamic-space-size is 0, the maximum heap size is used. * PATHNAME-MATCH-P accepts search-lists instead of generating an error. * CMUCL can now build and run the test suite when built with Xcode 7.2 (and new versions of clang) (See ticket #12) * Added EXT:WITH-FLOAT-TRAPS-ENABLED to complement the existing WITH-FLOAT-TRAPS-MASKED. Binaries will be uploaded soon. Hope you find this useful. -- Ray

1 0

[cmucl-imp] Snapshot 2015-12
by Raymond Toy 14 Dec '15

14 Dec '15

The 2015-12 snapshot has been tagged and binaries will be uploaded shortly. (The ppc snapshot is still not available; the ppc machine is temporarily down.) Only a few minor changes for this snapshot: o Linux was missing unix-setitimer which prevented saving cores. o Micro-optimizations for some modular shifts on x86. o Update lisp-unit. -- Ray

1 0

[cmucl-imp] Boo! 2015-11 snapshot tagged
by Raymond Toy 01 Nov '15

01 Nov '15

The 2015-11 snapshot has been tagged. Binaries will be available soon at the usual place. Key changes for this snapshot: o Fixed an ancient bug in (setf aref) for 1, 2, and 4-bit arrays with a constant index. o The UNIX package has been unified so that the same source file (code/unix.lisp) is used for all operation systems. o Hopefully, everything is fine, but some things might have been inadvertently broken. Hope this someone finds this useful -- Ray

1 0

[cmucl-imp] [CfP] European Lisp Symposium 2016, May 9-10, Kraków, Poland
by Didier Verna 07 Oct '15

07 Oct '15

ELS'16 - 9th European Lisp Symposium AGH University of Science and Technology Kraków, Poland May 9-10, 2016 http://www.european-lisp-symposium.org/ Sponsored by EPITA and AGH University 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, Hop and so on. We encourage everyone interested in Lisp to participate. The 9th European Lisp Symposium invites high quality papers about novel research results, insights and lessons learned from practical applications and educational perspectives. We also encourage submissions about known ideas as long as they are presented in a new setting and/or in a highly elegant way. Topics include but are not limited to: - Context-, aspect-, domain-oriented and generative programming - Macro-, reflective-, meta- and/or rule-based development approaches - Language design and implementation - Language integration, inter-operation and deployment - Development methodologies, support and environments - Educational approaches and perspectives - Experience reports and case studies We invite submissions in the following forms: Papers: Technical papers of up to 8 pages that describe original results or explain known ideas in new and elegant ways. Demonstrations: Abstracts of up to 2 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. The symposium will also provide slots for lightning talks, to be registered on-site every day. 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: - 19 Feb 2016 Submission deadline - 25 Mar 2016 Notification of acceptance - 15 Apr 2016 Early registration deadline - 22 Apr 2016 Final papers due - 9-10 May 2016 Symposium Programme chair: Irène Durand, University of Bordeaux, France Local chair: Michał Psota, Emergent Network Defense, Kraków, Poland Programme committee: Antonio Leitao — INESC-ID / Instituto Superior Técnico, Universidade de Lisboa, Portugal Charlotte Heerzel — IMEC, Leuven, Belgium Christian Queinnec — University Pierre et Marie Curie, Paris 6, France Christophe Rhodes — Goldsmiths, University of London, United Kingdom Didier Verna — EPITA Research and Development Laboratory, France Erick Gallesio — University of Nice-Sophia Antipolis, France Francois-René Rideau, Google, USA Giuseppe Attardi — University of Pisa, Italy Henry Lieberman — MIT, USA Kent Pitman, HyperMeta Inc., U.S.A. Leonie Dreschler-Fischer — University of Hamburg, Germany Pascal Costanza — Intel Corporation, Belgium Robert Strandh — University of Bordeaux, France Search Keywords: #els2016, ELS 2016, ELS '16, European Lisp Symposium 2016, European Lisp Symposium '16, 9th ELS, 9th European Lisp Symposium, European Lisp Conference 2016, European Lisp Conference '16 -- My new Jazz CD entitled "Roots and Leaves" is out! Check it out: http://didierverna.com/records/roots-and-leaves.php Lisp, Jazz, Aïkido: http://www.didierverna.info

1 0