[armedbear-devel] ASDF: Cannot handle the special form EXTENSIONS:TRULY-THE

[Blake McBride]

I think I may have to pass for now.  That system redefines defun to do
some major compile/load time conversions.  A bit too much for me right
now.  The one thing to keep in mind is that it works under SBCL,
CMUCL, and ECL.

Thanks.

Blake


On Wed, Nov 30, 2011 at 10:01 AM, Blake McBride <blake at mcbride.name> wrote:
> I'm on it.  Thanks!
>
> On Wed, Nov 30, 2011 at 9:59 AM, Alessio Stalla <alessiostalla at gmail.com> wrote:
>> On Wed, Nov 30, 2011 at 4:51 PM, Blake McBride <blake at mcbride.name> wrote:
>>> On Wed, Nov 30, 2011 at 9:41 AM, Alessio Stalla <alessiostalla at gmail.com> wrote:
>>>>
>>>> I don't agree :)
>>>> I believe your transcript justifies my claim: Screamer does not know
>>>> about ABCL's truly-the. Somehow it gets in contact with one such form
>>>> and barfs. Try grepping "Cannot (currently) handle the special form"
>>>> in Screamer (I can't right now or I'd do it myself).
>>>>
>>>> A.
>>>
>>> You might be right!
>>>
>>> blakes-mac:screamer blake$ find . -type f -exec grep -Hi currently \{\} \;
>>> ./doc/screamer.texinfo:unfortunately currently support the full ANSI
>>> Common Lisp.
>>> ./README:Source files part of the distribution not currently referenced in the
>>> ./screamer.lisp:  "The version of Screamer which is loaded. This is
>>> currently still 3.20,
>>> ./screamer.lisp:    ;; currently uses, so setting dynamic-extent to T will only
>>> ./screamer.lisp:     (error "Cannot (currently) handle the special
>>> form ~S" (first form)))
>>> ./screamer.lisp:                 "Cannot (currently) handle a LAMDBA
>>> expression with~%~
>>> ./screamer.lisp:                      "Cannot (currently) handle a
>>> LAMDBA expression with~%~
>>> ./screamer.lisp:                     (error "Cannot (currently) handle
>>> a nondeterministic~%~
>>> ./screamer.lisp:                    "Cannot (currently) handle the
>>> special form ~S inside a~%~
>>> ./screamer.lisp:Currently, if FOO is a nondeterministic function defined using
>>> ./screamer.lisp:  "Currently unsupported.
>>> ./screamer.lisp:Screamer currently provides two convenient
>>> force-functions, namely
>>> ./screamer.lisp:Screamer currently provides two convenient
>>> force-functions, namely
>>> ./TODO:***** Support at least some of the currently missing special forms
>>> ./TODO:    At least SBCL cannot currently stack-allocate a let-bound lambda,
>>> blakes-mac:screamer blake$
>>>
>>>
>>> blakes-mac:abcl.svn blake$ find . -type f -exec grep -Hi \(currently\) \{\} \;
>>> ./src/org/armedbear/lisp/.svn/text-base/known-functions.lisp.svn-base:;;
>>> Boolean predicates that can not (currently) return unboxed Java
>>> booleans.
>>> ./src/org/armedbear/lisp/known-functions.lisp:;; Boolean predicates
>>> that can not (currently) return unboxed Java booleans.
>>> blakes-mac:abcl.svn blake$
>>
>> Ok :) then the hard part becomes identifying which form expands into
>> truly-the and change the expansion, or teaching Screamer about
>> truly-the (and maybe other special operators in ABCL as well).
>>
>> Later
>> Alessio