armedbear-devel June 2010

armedbear-devel@common-lisp.net

12 participants
25 discussions

[armedbear-devel] compiled MACROLET fails to expand in DEFUN/DEFMETHOD forms
by Mark Evenson 22 Jun '10

22 Jun '10

The following form fails to compile correctly: (macrolet ((output-var (var) `(format t "var = ~A~%" ,var))) (defun baz (bat) (output-var bat))) When the above form has been compiled and loaded CL-USER> (baz 3) errors by complaining. The function OUTPUT-VAR is undefined. Interestingly abcl-0.12.0 behaves correctly, but abcl-0.15.0 fails (For some reason, I don't currently have abcl-0.{13,14} handy to test). I distilled this bug down from trying to compile CXML, so this is a "real-world" problem. CXML bombs on compiling its "xml/xml-parse.lisp" at this point: … (macrolet ((with-context ((validator) &body body) `(let ((*ctx* (context ,validator)) (*validate* t)) (with-scratch-pads () ;nicht schoen ,@body)))) (defmethod sax:start-element ((handler validator) uri lname qname attributes) uri lname (with-context (handler) (validate-start-element *ctx* qname) (process-attributes *ctx* qname attributes))) … with Wrong number of arguments for CXML::HANDLER. [Condition of type PROGRAM-ERROR] I assume that my "distilled" version has the same cause, namely that the precompiler is not expanding macros properly for function/method definitions in top-level MACROLET forms, but I explicitly mention my root problem here if the slightly different error turns out to provide a clue that I have missed. -- "A screaming comes across the sky. It has happened before, but there is nothing to compare to it now."

2 3

[armedbear-devel] New branch: generic-class-file
by Erik Huelsmann 21 Jun '10

21 Jun '10

Some of you know that I have been working on writing a new class file generator. The new class file generator will be replacing the current version which is strictly written for the current compiler. Due to some of the limitations in the class file generator, I'm not even able to change some patterns I'd like to change in it. The new class file generator will allow much more general class file content. It's the explicit intent to support any method type and argument pattern. This goal will allow us to rewrite runtime-class to use our own class writer. The other purpose is to be able to generate more than two methods in a class file: currently we only support 2 (<init> and one of 8 execute(...) methods). I'd like to be able to have many more; for example I want to move initialization of 'final static' fields to <clinit> to make 100% sure they are only initialized once. But that's just one purpose. Another would be to support multiple &optional parameters (but less than 8) without a need to call fastProcessArgs(), but do it in a much more Java-like fashion by generating multiple execute(...) methods. Each method calls the one with more parameters, until all optionals (which were not provided) have been filled, like this; public LispObject execute() { return execute(default1); } public LispObject execute(LispObject arg1) { return execute(arg1, default2); } public LispObject execute(LispObject arg1, LispObject arg2) { .... do actual processing ...; } I'm creating a README on the branch to say the same, for anybody who comes along but did not read this e-mail. Bye, Erik.

1 0

[armedbear-devel] toplevel MACROLET bug?
by William Wadsworth 21 Jun '10

21 Jun '10

Dear List, Nice work going on on the ABCL compiler. Thanks. I have a file test1.lisp: ----- (in-package #:cl-user) (macrolet ((%mac () '(+ 1 1))) (defun test () (%mac))) ---- Compiling it: CL-USER(1): :cf test1.lisp ; Compiling test1.lisp ... ; (IN-PACKAGE #:CL-USER) ; (DEFUN TEST ...) ; Compilation unit finished ; The following functions were used but not defined: ; %MAC I am not 100% sure, but I think the %MAC should be visible within TEST. --- Martin.

2 1

[armedbear-devel] CL:FLOAT on Java Number objects could call {single, double}Float() on them
by Mario Lang 19 Jun '10

19 Jun '10

Hi. Along the lines of the previously submitted string conversion patch, here is some other possible interoperability thing. Index: src/org/armedbear/lisp/SingleFloat.java =================================================================== --- src/org/armedbear/lisp/SingleFloat.java (revision 12758) +++ src/org/armedbear/lisp/SingleFloat.java (working copy) @@ -635,6 +635,11 @@ return new SingleFloat(((Bignum)obj).floatValue()); if (obj instanceof Ratio) return new SingleFloat(((Ratio)obj).floatValue()); + if (obj instanceof JavaObject) { + final Object jobj = ((JavaObject)obj).getObject(); + if (jobj instanceof Number) + return new SingleFloat(((Number)jobj).floatValue()); + } error(new TypeError("The value " + obj.writeToString() + " cannot be converted to type SINGLE-FLOAT.")); // Not reached. Index: src/org/armedbear/lisp/DoubleFloat.java =================================================================== --- src/org/armedbear/lisp/DoubleFloat.java (revision 12758) +++ src/org/armedbear/lisp/DoubleFloat.java (working copy) @@ -646,6 +646,11 @@ return new DoubleFloat(((SingleFloat)obj).value); if (obj instanceof Ratio) return new DoubleFloat(((Ratio)obj).doubleValue()); + if (obj instanceof JavaObject) { + final Object jobj = ((JavaObject)obj).getObject(); + if (jobj instanceof Number) + return new DoubleFloat(((Number)jobj).doubleValue()); + } error(new TypeError("The value " + obj.writeToString() + " cannot be converted to type DOUBLE-FLOAT.")); // Not reached. P.S.: The following conditional is duplicated and could be removed: Index: src/org/armedbear/lisp/Pathname.java =================================================================== --- src/org/armedbear/lisp/Pathname.java (revision 12758) +++ src/org/armedbear/lisp/Pathname.java (working copy) @@ -1290,7 +1290,7 @@ if (host == NIL) { host = defaults.host; } - if (directory == NIL && defaults != null) { + if (directory == NIL) { directory = defaults.directory; } if (!deviceSupplied) { -- CYa, ⡍⠁⠗⠊⠕

1 0

[armedbear-devel] SLOT-VALUE and SLOT-VALUE-USING-CLASS with DEFSTRUCT
by William Wadsworth 18 Jun '10

18 Jun '10

Hi. The following transcript demonstrates the problem. --- BEGIN Armed Bear Common Lisp 0.20.0 Java 1.6.0_20 Sun Microsystems Inc. Java HotSpot(TM) Client VM Low-level initialization completed in 0.667 seconds. Startup completed in 4.849 seconds. Type ":help" for a list of available commands. CL-USER(1): (defstruct x a b c) X CL-USER(2): (slot-value (make-x :a 10) 'a) #<THREAD "interpreter" {118958E}>: Debugger invoked on condition of type UNDEFINED-FUNCTION The function SLOT-VALUE is undefined. Restarts: 0: CONTINUE Try again. 1: USE-VALUE Specify a function to call instead. 2: RETURN-VALUE Return one or more values from the call to SLOT-VALUE. 3: TOP-LEVEL Return to top level. [1] CL-USER(3): :res CL-USER(4): (slot-value (make-x :a 10) 'a) #<THREAD "interpreter" {118958E}>: Debugger invoked on condition of type SIMPLE-ERROR There is no applicable method for the generic function #<STANDARD-GENERIC-FUNCTION MOP::SLOT-VALUE-USING-CLASS {932FE} > when called with arguments (#<STRUCTURE-CLASS X {11EF443}> #<X {1184326}> A). Restarts: 0: TOP-LEVEL Return to top level. [1] CL-USER(5): :res CL-USER(6): --- END DEFCLASS seems to work fine, though I would like to keep using DEFSTRUCT. I understand that the MOP is not really complete. However, Is there a workaround that will not resort in using DEFCLASS? --- Martin.

3 5

[armedbear-devel] JVM Compilation
by Mark Evenson 17 Jun '10

17 Jun '10

http://nerds-central.blogspot.com/2009/09/tuning-jvm-for-unusual-uses-have-… Tersely written from my iPod

2 2

Re: [armedbear-devel] SLOT-VALUE and SLOT-VALUE-USING-CLASS with DEFSTRUCT
by William Wadsworth 17 Jun '10

17 Jun '10

Hi Eric, (Apologies for the belated reply, just saw the message today.) On Mon, Jun 14, 2010 at 9:26 PM, Erik Huelsmann <ehuels(a)gmail.com> wrote: > Hi William, > > Thanks for your report below! > > On Mon, Jun 14, 2010 at 4:09 AM, William Wadsworth > <will.wadsworth.10(a)gmail.com> wrote: >> Hi. >> >> The following transcript demonstrates the problem. >> >> --- BEGIN >> Armed Bear Common Lisp 0.20.0 >> Java 1.6.0_20 Sun Microsystems Inc. >> Java HotSpot(TM) Client VM >> Low-level initialization completed in 0.667 seconds. >> Startup completed in 4.849 seconds. >> Type ":help" for a list of available commands. >> CL-USER(1): (defstruct x a b c) >> X >> CL-USER(2): (slot-value (make-x :a 10) 'a) >> #<THREAD "interpreter" {118958E}>: Debugger invoked on condition of >> type UNDEFINED-FUNCTION >> The function SLOT-VALUE is undefined. > > Well, you seem to have identified an issue here: you're correct our > MOP isn't fully complete, but it's not *that* bad. The function is > defined in clos.lisp. However, loading of that file happens on the > first use of one of the functions inside it. But: there's no trigger > installed on the function to trigger autoloading. > > It seems we need a list of all functions exported from clos.lisp in > order to fix up the auto-loading triggers. Could you create a list > like that? > I don't know whether I read you clearly, but using the following snippet I got the (manually flattened) results below it: (let ((file #P"clos.lisp")) (with-open-file (in file) (loop for form = (read in nil nil) while form when (and (listp form) (eq (car form) 'cl:export)) nconcing (cdr form)))) CLASS-PRECEDENCE-LIST CLASS-SLOTS COMPUTE-APPLICABLE-METHODS COMPUTE-APPLICABLE-METHODS-USING-CLASSES SLOT-DEFINITION-ALLOCATION SLOT-DEFINITION-INITARGS SLOT-DEFINITION-INITFORM SLOT-DEFINITION-INITFUNCTION SLOT-DEFINITION-NAME (Meanwhile, let me see what I can achieve by modifying autoloads.lisp and/or AutoLoads.java?) > > In order to see if a small commit would help you out, I added this > form to the beginning of your transcript: > > (autoload 'slot-value "clos") > --> T > > Turns out that's not all that's required: the next failure I ran into > is that the function either the function SLOT-VALUE is missing a > special case for structures, or SLOT-VALUE-USING-CLASS is missing a > method for structure classes; the error was "No applicable method"... > > Looks like there's no workaround, but maybe there's a quick patch. > I'll need to look into that a bit more. I thought I'd report you my > findings first. > > Thanks again for reporting and welcome to ABCL! > Thanks for the effort you and the rest of the team are putting into it. > > Bye, > > > Erik. > Martin.

1 0

[armedbear-devel] TYPE-ERROR #<java.lang.String foo {BADEAFFE}> cannot be coerced to a string.
by Mario Lang 16 Jun '10

16 Jun '10

Hi. Just stumbled across this one when I tried to use STRING-EQUAL to compare a value I received via JINTERFACE-IMPLEMENTATION. Now, it appears to be very simple to allow the expression (string (jnew "java.lang.String" "foo")) by overriding STRING() in JavaObject and checking if obj is a (java) String. What do you think? Index: src/org/armedbear/lisp/JavaObject.java =================================================================== --- src/org/armedbear/lisp/JavaObject.java (revision 12751) +++ src/org/armedbear/lisp/JavaObject.java (working copy) @@ -108,6 +108,14 @@ return super.typep(type); } + @Override + public LispObject STRING() + { + if (obj instanceof String) + return new SimpleString(obj.toString()); + return super.STRING(); + } + public final Object getObject() { return obj; -- CYa, ⡍⠁⠗⠊⠕

4 7

[armedbear-devel] less-reflection merge borks SLIME on trunk
by Mark Evenson 16 Jun '10

16 Jun '10

Unfortunately, the 'less-reflection' merge to trunk as of r12742 causes SLIME to fail to compile 'swank-abcl.lisp' as seen in the attached stack trace. To observe this outside of Emacs, obtain a [CVS HEAD snapshot of SLIME][1], start ABCL, point *DEFAULT-PATHNAME-DEFAULTS* to the location of 'swank.asd', then issue CL-USER> (asdf:load-system :asdf) [1]: http://common-lisp.net/project/slime/snapshots/slime-current.tgz -- "A screaming comes across the sky. It has happened before, but there is nothing to compare to it now."

2 2

[armedbear-devel] jinterface-implementation
by Knut Olav Bøhmer 10 Jun '10

10 Jun '10

Hi, Is it possible to implement two interfaces in one object? -- Knut Olav Bøhmer

3 3

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

armedbear-devel June 2010