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

[Alessio Stalla]

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