Re: [Ecls-list] ECL & Closer-mop

2012-12-04 Thread Juan Jose Garcia-Ripoll
On Sun, Dec 2, 2012 at 9:11 PM, Pascal Costanza wrote: > Many of the metaobject classes expose slots with names that are exported > from some package or visible in CL-USER. This shouldn't be the case. (See > "Restrictions on Implementations" in the MOP specification.) Added a ticket to keep tra

Re: [Ecls-list] ECL & Closer-mop

2012-12-02 Thread Pascal Costanza
On 3 Dec 2012, at 00:54, Juan Jose Garcia-Ripoll wrote: > 6) Many of the metaobject classes expose slots with names that are exported > from some package or visible in CL-USER. This shouldn't be the case. (See > "Restrictions on Implementations" in the MOP specification.) > > I will fix this

Re: [Ecls-list] ECL & Closer-mop

2012-12-02 Thread Juan Jose Garcia-Ripoll
On Sun, Dec 2, 2012 at 9:11 PM, Pascal Costanza wrote: > OK, I can report a success: All my test cases run through now (almost, see > below ;). > Thanks once more for all your work on these issues. I really appreciate the effort that it implies. > 1) extract-specializer-names is not correct fo

Re: [Ecls-list] ECL & Closer-mop

2012-12-02 Thread Juan Jose Garcia-Ripoll
On Sun, Dec 2, 2012 at 11:00 PM, Pascal Costanza wrote: > Here is a test case: > Thanks. The problem seems to be that make-method-lambda and defmethod live in the same file and the function call was done through a pointer, not through the symbol. I will upload a fix. Juanjo -- Instituto de Fí

Re: [Ecls-list] ECL & Closer-mop

2012-12-02 Thread Pascal Costanza
On 2 Dec 2012, at 22:48, Juan Jose Garcia-Ripoll wrote: > On Sun, Dec 2, 2012 at 9:11 PM, Pascal Costanza wrote: > 4) DEFMETHOD doesn't call MAKE-METHOD-LAMBDA to determine the method function > body. [My guess is that this is not easy to change due to the deviation from > the MOP specificat

Re: [Ecls-list] ECL & Closer-mop

2012-12-02 Thread Juan Jose Garcia-Ripoll
On Sun, Dec 2, 2012 at 9:11 PM, Pascal Costanza wrote: > 4) DEFMETHOD doesn't call MAKE-METHOD-LAMBDA to determine the method > function body. [My guess is that this is not easy to change due to the > deviation from the MOP specification in how method functions are called.] > I will look into th

Re: [Ecls-list] ECL & Closer-mop

2012-12-02 Thread Pascal Costanza
Hi, OK, I can report a success: All my test cases run through now (almost, see below ;). However, there are still some remaining bugs: 1) extract-specializer-names is not correct for eql specializers. Consider: (extract-specializer-names '((s (eql 's => ((EQL S)). However, the result shou

Re: [Ecls-list] ECL & Closer-mop

2012-11-26 Thread Juan Jose Garcia-Ripoll
On Mon, Nov 26, 2012 at 7:38 PM, Pascal Costanza wrote: > I don't think the HyperSpec allows for that interpretation. The entry for > slot-value is specific that slot-unbound is called when a slot is unbound, > and the entry for slot-unbound specifies that the default method signals an > error of

Re: [Ecls-list] ECL & Closer-mop

2012-11-26 Thread Pascal Costanza
Hi, On 25 Nov 2012, at 23:58, Juan Jose Garcia-Ripoll wrote: > On Sun, Nov 25, 2012 at 9:11 PM, Pascal Costanza wrote: > Next error: slot-unbound errors should not be optimized away as far as I can > tell. Or is there anything in specifications (CL or MOP) that allows > implementors to do th

Re: [Ecls-list] ECL & Closer-mop

2012-11-25 Thread Juan Jose Garcia-Ripoll
On Sun, Nov 25, 2012 at 9:11 PM, Pascal Costanza wrote: > Next error: slot-unbound errors should not be optimized away as far as I > can tell. Or is there anything in specifications (CL or MOP) that allows > implementors to do that? > There are various things conflicting here: 1* There was a ty

Re: [Ecls-list] ECL & Closer-mop

2012-11-25 Thread Pascal Costanza
Next error: slot-unbound errors should not be optimized away as far as I can tell. Or is there anything in specifications (CL or MOP) that allows implementors to do that? Here is a test case: (defun test () (declare (optimize (speed 3) (space 0) (compilation-speed 0))) (handler-case (clos:g

Re: [Ecls-list] ECL & Closer-mop

2012-11-24 Thread Pascal Costanza
Hi Juanja, On 19 Nov 2012, at 10:36, Juan Jose Garcia-Ripoll wrote: > On Sun, Nov 18, 2012 at 11:38 PM, Pascal Costanza wrote: > I'm back in the land of the living… ;) > > Thanks for getting back to this! > > - Previously, ECL had a way of specifying :optimize-slot-access for classes > to

Re: [Ecls-list] ECL & Closer-mop

2012-11-24 Thread Juan Jose Garcia-Ripoll
On Sun, Nov 18, 2012 at 11:38 PM, Pascal Costanza wrote: > - It seems that slot-unbound is not correctly handled. Here is a test case: > Thanks for reporting this, Pascal. I just fixed it. Is the other issue about slot optimization a problem? Note that I would rather have _no_ code in closer-mo

Re: [Ecls-list] ECL & Closer-mop

2012-11-19 Thread Juan Jose Garcia-Ripoll
On Sun, Nov 18, 2012 at 11:38 PM, Pascal Costanza wrote: > I'm back in the land of the living… ;) > Thanks for getting back to this! > - Previously, ECL had a way of specifying :optimize-slot-access for > classes to state whether slot access should go through the CLOS MOP slot > access functio

Re: [Ecls-list] ECL & Closer-mop

2012-11-18 Thread Pascal Costanza
Hi, I'm back in the land of the living… ;) And I have two bugs to report: - Previously, ECL had a way of specifying :optimize-slot-access for classes to state whether slot access should go through the CLOS MOP slot access functions or should be optimized. Judging from the source code for ECL,

Re: [Ecls-list] ECL & Closer-mop

2012-10-15 Thread Pascal Costanza
Hi, I am currently in the middle of a move, so I don't have time to work on this right now. I will be able to continue working on this from the end of the month on… Best, Pascal On 12 Oct 2012, at 12:53, Juan Jose Garcia-Ripoll wrote: > I have uploaded a set of changes that turn the last se