- ecl-devel - mailman3.common-lisp.net

segfault while testing lil
by Faré 14 Apr '16

14 Apr '16

lil passes all tests for me on sbcl, ccl, allegro, clisp, but on ecl I get: Condition of type: SEGMENTATION-VIOLATION Detected access to an invalid or protected memory address. Which precise test causes the segfault varies at each try. To reproduce: rlwrap ecl -eval "'(#.(require \"asdf\")#.(asdf:test-system :lil))" :b shows failure either in lil/test/stateful-map::test-stateful-map or in lil/test/pure-map::test-pure-map and probably at slightly different places therein. —♯ƒ • François-René ÐVB Rideau •Reflection&Cybernethics• http://fare.tunes.org For followers of most ideologies (openly religious or not), toleration is a concession of defeat. For libertarians, it is victory itself.

2 5

error: 'aux_closure' undeclared (first use in this function)
by Tomas Hlavaty 11 Apr '16

11 Apr '16

Hi, I was curious how far would ecl get when compiling sbcl and found that ecl seems to struggle with compiling local functions (error log bellow). The problem is that the huge function parse-lambda-list being compiled has a flet (scan-opt/key) inside, which is compiled into a separate C function which does not see the other stuff, namely "volatile struct ecl_cclosure aux_closure;" is missing in the separate C function for flet scan-opt/key. I could not find a reduced testcase but I guess this is a bug in the ecl compiler? Tomas ===== ;;; Compiling src/compiler/parse-lambda-list.lisp. ;;; OPTIMIZE levels: Safety=2, Space=0, Speed=3, Debug=0 ;;; ;;; Compiling (DEFMACRO LAMBDA-LIST-KEYWORD-MASK ...). ;;; Compiling (DEFUN LL-KWDS-RESTP ...). ;;; Compiling (DEFUN LL-KWDS-KEYP ...). ;;; Compiling (DEFUN LL-KWDS-ALLOWP ...). ;;; Compiling (DEFUN PARSE-LAMBDA-LIST ...). ;;; Compiling (DEFUN PARSE-DS-LAMBDA-LIST ...). ;;; Compiling (DEFMACRO WITH-DS-LAMBDA-LIST-PARTS ...). ;;; Compiling (DEFUN PARSE-OPTIONAL-ARG-SPEC ...). ;;; Compiling (DEFUN PARSE-KEY-ARG-SPEC ...). ;;; Compiling (DEFUN META-ABSTRACTIFY-DS-LAMBDA-LIST ...). ;;; Compiling (DEFUN MAKE-LAMBDA-LIST ...). ;;; Compiling (DEFUN UNPARSE-DS-LAMBDA-LIST ...). ;;; Compiling (DEFUN DS-LAMBDA-LIST-VARIABLES ...). ;;; Compiling (DEFUN DS-LAMBDA-LIST-MATCH-P ...). ;;; Compiling (DEFUN DS-LAMBDA-LIST-MATCHER ...). ;;; Compiling (DEFUN EMIT-DS-LAMBDA-LIST-MATCH ...). ;;; Compiling (DEFUN EMIT-DS-BIND-CHECK ...). ;;; Compiling (DEFUN EXPAND-DS-BIND ...). ;;; Compiling (DEFUN COMPILER-MACRO-ARGS ...). ;;; Compiling (DEFUN GET-DS-BIND-CONTEXT ...). ;;; Compiling (DEFUN DS-BIND-ERROR ...). ;;; Compiling (DEFUN CHECK-DS-BIND-KEYS ...). ;;; Compiling (DEFUN CHECK-DS-LIST ...). ;;; Compiling (DEFUN CHECK-DS-LIST/&REST ...). ;;; Compiling (DEFUN CHECK-DS-LIST/&KEY ...). ;;; Compiling (DEFUN CMACRO-CHECK-DS-LIST/&KEY ...). ;;; Compiling (DEFUN DS-GETF ...). ;;; Compiling (DEF!MACRO NAMED-DS-BIND ...). ;;; Compiling (DEFUN MAKE-MACRO-LAMBDA ...). ;;; Compiling (DEFVAR *STRIP-LAMBA-LIST-RETAIN-AUX* ...). ;;; Compiling (DEFUN STRIP-LAMBDA-LIST ...). ;;; End of Pass 1. ;;; Emitting code for LAMBDA-LIST-KEYWORD-MASK. ;;; Emitting code for LL-KWDS-RESTP. ;;; Emitting code for LL-KWDS-KEYP. ;;; Emitting code for LL-KWDS-ALLOWP. ;;; Emitting code for PARSE-LAMBDA-LIST. ;;; Emitting code for CROAK. ;;; Emitting code for DEFAULTP. ;;; Emitting code for NEED-BINDABLE. ;;; Emitting code for NEED-SYMBOL. ;;; Emitting code for NEED-ARG. ;;; Emitting code for REPORT-SUSPICIOUS. ;;; Emitting code for CHECK-SUSPICIOUS. ;;; Emitting code for PROBABLY-LL-KEYWORD-P. ;;; Emitting code for DESTRUCTURING-P. ;;; Emitting code for SCAN-OPT/KEY. ;;; Emitting code for PARSE-DS-LAMBDA-LIST. ;;; Emitting code for PARSE*. ;;; Emitting code for PARSE. ;;; Emitting code for #:G116. ;;; Emitting code for #:G117. ;;; Emitting code for WITH-DS-LAMBDA-LIST-PARTS. ;;; Emitting code for PARSE-OPTIONAL-ARG-SPEC. ;;; Emitting code for PARSE-KEY-ARG-SPEC. ;;; Emitting code for META-ABSTRACTIFY-DS-LAMBDA-LIST. ;;; Emitting code for RECURSE. ;;; Emitting code for PROCESS-OPT/KEY. ;;; Emitting code for #:G175. ;;; Emitting code for MAKE-LAMBDA-LIST. ;;; Emitting code for UNPARSE-DS-LAMBDA-LIST. ;;; Emitting code for MEMOIZE. ;;; Emitting code for RECURSE. ;;; Emitting code for MAYBE-DEFAULT. ;;; Emitting code for PROCESS-OPT. ;;; Emitting code for #:G230. ;;; Emitting code for DS-LAMBDA-LIST-VARIABLES. ;;; Emitting code for SCAN. ;;; Emitting code for SUPPLIEDP-VAR. ;;; Emitting code for COPY. ;;; Emitting code for RECURSE. ;;; Emitting code for DS-LAMBDA-LIST-MATCH-P. ;;; Emitting code for RECURSE. ;;; Emitting code for DS-LAMBDA-LIST-MATCHER. ;;; Emitting code for EMIT-DS-LAMBDA-LIST-MATCH. ;;; Emitting code for EMIT-DS-BIND-CHECK. ;;; Emitting code for EXPAND-DS-BIND. ;;; Emitting code for DESCEND. ;;; Emitting code for GEN-TEST. ;;; Emitting code for BIND-IF. ;;; Emitting code for BIND-PAT. ;;; Emitting code for CAST/POP. ;;; Emitting code for COMPILER-MACRO-ARGS. ;;; Emitting code for GET-DS-BIND-CONTEXT. ;;; Emitting code for DS-BIND-ERROR. ;;; Emitting code for CHECK-DS-BIND-KEYS. ;;; Emitting code for CHECK-DS-LIST. ;;; Emitting code for CHECK-DS-LIST/&REST. ;;; Emitting code for CHECK-DS-LIST/&KEY. ;;; Emitting code for CMACRO-CHECK-DS-LIST/&KEY. ;;; Emitting code for DS-GETF. ;;; Emitting code for NAMED-DS-BIND. ;;; Emitting code for MAKE-MACRO-LAMBDA. ;;; Emitting code for #:G485. ;;; Emitting code for STRIP-LAMBDA-LIST. ;;; Emitting code for #:G489. ;;; Emitting code for #:G509. In file included from /nix/store/4ha569nsijgnp7ywq89prpn6643h132m-ecl-16.1.2/include/ecl/ecl.h:84:0, from /nix/store/4ha569nsijgnp7ywq89prpn6643h132m-ecl-16.1.2/include/ecl/ecl-cmp.h:29, from obj/from-host/src/compiler/parse-lambda-list.c:5: obj/from-host/src/compiler/parse-lambda-list.c: In function 'LC14scan_opt_key': obj/from-host/src/compiler/parse-lambda-list.c:1222:15: error: 'aux_closure' undeclared (first use in this function) if (Null((aux_closure.env=env0,cl_env_copy->function=(cl_object)&aux_closure,LC12defaultp(2, v5arg, v2what_kind)))) { goto L8; } ^ /nix/store/4ha569nsijgnp7ywq89prpn6643h132m-ecl-16.1.2/include/ecl/cons.h:27:27: note: in definition of macro 'Null' #define Null(x) ((x)==ECL_NIL) ^ obj/from-host/src/compiler/parse-lambda-list.c:1222:15: note: each undeclared identifier is reported only once for each function it appears in if (Null((aux_closure.env=env0,cl_env_copy->function=(cl_object)&aux_closure,LC12defaultp(2, v5arg, v2what_kind)))) { goto L8; } ^ /nix/store/4ha569nsijgnp7ywq89prpn6643h132m-ecl-16.1.2/include/ecl/cons.h:27:27: note: in definition of macro 'Null' #define Null(x) ((x)==ECL_NIL) ^ obj/from-host/src/compiler/parse-lambda-list.c:1222:31: error: 'env0' undeclared (first use in this function) if (Null((aux_closure.env=env0,cl_env_copy->function=(cl_object)&aux_closure,LC12defaultp(2, v5arg, v2what_kind)))) { goto L8; } ^ /nix/store/4ha569nsijgnp7ywq89prpn6643h132m-ecl-16.1.2/include/ecl/cons.h:27:27: note: in definition of macro 'Null' #define Null(x) ((x)==ECL_NIL) ^ ;;; Internal error: ;;; ** Error code 1 when executing ;;; (RUN-PROGRAM "gcc" ("-I." "-I/nix/store/4ha569nsijgnp7ywq89prpn6643h132m-ecl-16.1.2/include/" "-I/nix/store/6f3nbgg28xxyq2mdzdxl0j06dry90sgl-gmp-5.1.3/include" "-I/nix/store/nnjvmplfmzpc22ls4p9h4c7c61rppzc5-libffi-3.2.1/include" "-D_GNU_SOURCE" ...)) Condition of type: SIMPLE-ERROR couldn't compile "src/compiler/parse-lambda-list.lisp" Available restarts: 1. (RESTART-TOPLEVEL) Go back to Top-Level REPL. Broken at SB-COLD::LOAD-OR-CLOAD-XCOMPILER. In: #<process TOP-LEVEL>. File: #P"/tmp/nix-build-sbcl-1.3.3.drv-0/sbcl-1.3.3/src/cold/defun-load-or-cload-xcompiler.lisp" (Position #1305) >>

2 3

[CFPart] ELS'16, 9th European Lisp Symposium, May 9-10, Kraków, Poland
by Didier Verna 06 Apr '16

06 Apr '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: - Full programme now available online - Registration now open (early registration deadline: April 25) 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. Keynote speakers: - Pierre Castéran -- Program Proving with Coq - Stephan Karpinski -- Julia: to Lisp or Not to Lisp? - Francis Sergeraert -- Lexical Closures and Complexity Important dates: - 25 Apr 2016 Early registration deadline - 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 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

Compiled program complaints on absent UIOP/OS and UIOP/PATHNAME
by Alexander Artemenko 03 Apr '16

03 Apr '16

Hi! I have created a command line program: https://github.com/svetlyak40wt/cl-jslog I've tried to build it with sbcl and it worked fine. But when I compiled it with ECL, I found that right after running, it outputs following error: Condition of type: SIMPLE-ERROR The packages ((UIOP/OS . #<UIOP/OS package>) (UIOP/PATHNAME . #<UIOP/PATHNAME package>)) were referenced in compiled file NIL but have not been created Available restarts: 1. (IGNORE) Ignore the error, and try the operation again Top level in: #<process TOP-LEVEL>. Tried ECL 16.1.4 on Ubuntu and ECL 16.0.0 on OSX. What is the reason of this error, and how to fix it? -- Alexander Artemenko (a.k.a. Svetlyak 40wt) Blog: http://dev.svetlyak.ru Photos: http://svetlyak.ru Jabber: svetlyak.40wt(a)gmail.com

2 3

Native thread
by Fabrizio Fabbri 31 Mar '16

31 Mar '16

Hi all, quick question. I’ve got my embedded ecl on a multi thread windows service. Before doing anything I call cl_boot. Then multiple request coming in served by different thread. At this point I call ecl_import_current_thread and the evaluate some lisp code with cl_safe_eval with Cnil as environment. After I call ecl_release_current_thread. Please note that those are native thread not created with gc wrapper. Are those evaluation happen in different lisp processes? Kindest regards F.

1 0

ECL on very small chips?
by Andreas Thiele 29 Mar '16

29 Mar '16

Hello, can I use ECL to write software for a chip without OS? In my case I'd like to write software for NXP1769 which is ARM Cortex M3, 64kB Ram, 512kB Flash. Andreas

7 11

ASDF 3.1.7 has been released
by Robert P. Goldman 23 Mar '16

23 Mar '16

ASDF 3.1.7 is a bugfix release, enhancing the 3.1.x ASDF series. To the best of our knowledge, it only fixes bugs, and should thus be a low-risk upgrade for inclusion in implementations. Thanks, as ever, to Faré for many fixes, and to other bug reporters and patch-suppliers. See the Changelog (below) for a summary of changes. Bug fix and portability release: * Fix compilation on Genera. * Fix UIOP:FILE-EXISTS-P for dotfiles on CCL. * Fix infinite loop in source registry configuration that can occur when there are cycles in the filesystem (typically caused by symlinks) on some CL implementations. * Miscellaneous bug fixes. * Documentation improvements. * Restore original Makefile. -- Robert P. Goldman <rpgoldman(a)sift.net> Wed, 23 Mar 2016 09:34:14 -0500

1 0

Re: [Maxima-discuss] testsuite in ecl
by Dan Gildea 16 Mar '16

16 Mar '16

Is this a bug in ecl? % cat test.lisp (defvar v1 nil) (defun run-test () (let ((share_t) (fst 'a)) (format t "fst ~S~%" fst) (multiple-value-bind (v1 fst) (case share_t ((nil) (values v1 fst))) (format t "fst ~S~%" fst)))) % ecl ECL (Embeddable Common-Lisp) 16.1.2 (git:UNKNOWN) Copyright (C) 1984 Taiichi Yuasa and Masami Hagiya Copyright (C) 1993 Giuseppe Attardi Copyright (C) 2000 Juan J. Garcia-Ripoll Copyright (C) 2015 Daniel Kochmanski ECL is free software, and you are welcome to redistribute it under certain conditions; see file 'Copyright' for details. Type :h for Help. Top level in: #<process TOP-LEVEL>. > (compile-file "test.lisp") ;;; Loading #P"/u/gildea/lib/ecl-16.1.2/cmp.fas" ;;; ;;; Compiling test.lisp. ;;; OPTIMIZE levels: Safety=2, Space=0, Speed=3, Debug=0 ;;; ;;; Compiling (DEFVAR V1 ...). ;;; Compiling (DEFUN RUN-TEST ...). ;;; End of Pass 1. ;;; Emitting code for RUN-TEST. ;;; Finished compiling test.lisp. ;;; #P"/tmp/test.fas" NIL NIL > (load "test.fas") ;;; Loading "/tmp/test.fas" #P"/tmp/test.fas" > (run-test) fst A fst NIL NIL > (run-test) fst A fst A NIL > On Tue, March 15, 2016 at 12:15AM, Robert Dodier wrote: > On 2016-03-14, Dan Gildea <dgildea(a)users.sourceforge.net> wrote: > > > The testsuite is not working at all for me with ecl. > > It seems to be a problem with the multiple-value-bind in run-testsuite. > > When I try run_testsuite(), every test fails with "Caused an error > break". > > After load(mload), then run_testsuite() works OK. This makes me think > it's a difference between compiled and interpreted code -- i.e. a bug in > ECL's compiler. > > I'm working with ECL 16.1.2 at the moment. At some point in the > not-too-distant past, run_testsuite() did work. I don't know if the > current behavior is a result of a change in ECL or in Maxima. > I guess that MULTIPLE-VALUE-BIND is a recent change in src/mload.lisp so > maybe it is now tickling a bug that existed before. Dunno for sure. > > best > > Robert Dodier

2 1

Re: Some thread/GC questions
by Juraj Variny 10 Mar '16

10 Mar '16

> > > On Wednesday 09 March 2016 09:07:38 you wrote: > >> Hello, > >> > >> Juraj Variny writes: > >> > Hello, > >> > > >> > can you please tell me how to: > >> > > >> > 1. Initialize lisp environment in a thread that was already created by > >> > C/C++ app? Is it possible for it to share existing lisp environment? > >> > >> There is an example in examples/embed directory (file hello.c). What do > >> you mean by sharing an existing lisp environment? cl_boot creates an > >> environment for this instance. > > > > Say I have main thread, where cl_boot was called, with some lisp > environment. > > Then I call cl_boot in some other pre-existing thread, would it be able > to > > access lisp environment of the main thread, evaluate symbols defined > there, > > call functions etc? This is what I meant with shared environment. > > It is enought to call cl_boot once. Calling it a second time won't do > any harm, but the cl_boot isn't thread-safe, so don't call it twice at > the same time from different threads. > > After calling cl_boot once you should be able to work with lisp from any > thread. This "working with lisp from any thread" I have tried, and got segfaults and corruption immediately. Seems that ecl_env_ptr is thread-local variable and should be properly initialized for every thread where lisp is used.

2 1

EclAndroid-0.0.1 on Android 6.0 ?
by Helmut Jarausch 09 Mar '16

09 Mar '16

Has anybody tried EclAndroid-0.0.1 on Android 6.0 ? Here on my Galaxy S5 with rooted Android 6.01 it crashes during start up. Many thanks for some info, Helmut

2 1