[Ecls-list] Internal error when compiling the Snark theorem prover with ECL 12.7.1

2012-10-30 Thread Matthias Hölzl
Hello, when compiling the Snark theorem prover (, or with ASDF system definition at ), ECL (version 12.7.1 on OSX 10.8.2, installed using homebrew) fails with an internal error: silverbird:Snark tc$ ecl ;;; Loading "/

Re: [Ecls-list] Too few arguments for proclaimed function MAP-INTO

2012-10-30 Thread Juan Jose Garcia-Ripoll
On Thu, Oct 25, 2012 at 5:09 AM, Matthew Mondor wrote: > And then noticed that the PROCLAMATION indeed has an extra SEQUENCE: > > (proclamation map-into (sequence function-designator sequence &rest > sequence) > Fixed in CVS/git. Thanks! -- Instituto de Física Fundamental, CSIC c/ Serrano, 113b

Re: [Ecls-list] SLIME, WITH-OPEN-FILE: error in process filter: Wrong number of arguments: nil, 127

2012-10-30 Thread Matthew Mondor
On Tue, 30 Oct 2012 11:50:17 +0100 Juan Jose Garcia-Ripoll wrote: > The original code works for me just fine > > (defimplementation arglist (name) > (multiple-value-bind (arglist foundp) > (ext:function-lambda-list name) > (if foundp arglist :not-available))) > > Does it not in your

Re: [Ecls-list] SLIME, WITH-OPEN-FILE: error in process filter: Wrong number of arguments: nil, 127

2012-10-30 Thread Matthew Mondor
On Tue, 30 Oct 2012 11:50:17 +0100 Juan Jose Garcia-Ripoll wrote: > The original code works for me just fine > > (defimplementation arglist (name) > (multiple-value-bind (arglist foundp) > (ext:function-lambda-list name) > (if foundp arglist :not-available))) > > Does it not in your

Re: [Ecls-list] SLIME, WITH-OPEN-FILE: error in process filter: Wrong number of arguments: nil, 127

2012-10-30 Thread Juan Jose Garcia-Ripoll
On Tue, Oct 30, 2012 at 2:41 AM, Matthew Mondor wrote: > With in swank-ecl.lisp: > > (defimplementation arglist (name) > (let ((arglist (ext:get-annotation name :lambda-list nil))) > (if (null arglist) > :not-available > arglist))) > > And your latest changes, it's very nice

Re: [Ecls-list] ECL performance with respect to OpenAxiom

2012-10-30 Thread Juan Jose Garcia-Ripoll
On Tue, Oct 30, 2012 at 11:01 AM, Gabriel Dos Reis < g...@integrable-solutions.net> wrote: > I've reported, on several occasions, in the past that > an ECL-based build of OpenAxiom takes a very long time > (usually over 2 or 4 hours.) Well, with current CVS > mainline, ECL builds OpenAxiom about

[Ecls-list] ECL performance with respect to OpenAxiom

2012-10-30 Thread Gabriel Dos Reis
Hi Juanjo, I've reported, on several occasions, in the past that an ECL-based build of OpenAxiom takes a very long time (usually over 2 or 4 hours.) Well, with current CVS mainline, ECL builds OpenAxiom about 20min on my machine. It could be argued that it is just a better machine, but on the sa