Trying to get screamer working

From: rif (rif_at_mit.edu)
Date: 07/28/04 

Date: 28 Jul 2004 13:26:22 -0400

I'm trying to get screamer working (under CMUCL 19a, from 2004-04).

I downloaded it from Siskind's website, and AFAICT one simply calls
compile-file on screamer.lisp, then loads the resulting fasl file.
Out of the box, the compile fails with an error:

 Compiling DEFSTRUCT-COMPILE-TIME (VARIABLE (PRINT-FUNCTION PRINT-VARIABLE) (PREDICATE VARIABLE?) (CONSTRUCTOR MAKE-VARIABLE-INTERNAL)):
; Byte Compiling Top-Level Form:
; Byte Compiling Top-Level Form:
;
 
; Error: (during macroexpansion)
;
; Attempt to modify the locked package COMMON-LISP, by defining type BOOLEAN

Looking in screamer.lisp, I noticed there was a
(deftype boolean () '(member t nil))

and also noted that this seems to be built in to CMUCL, so I
conditionalized it out (it was already conditionalized out for
allegro-v4.2). After this it compiled and loaded fine, but trying to
use any screamer functions (such as a-subset-of, as defined in one of
the papers) gives me an error:

Error in function SCREAMER::SCREAMER-ERROR:
   A-BOOLEAN is a nondeterministic function. As such, it must be called only
from a nondeterministic context.
There are eight types of nondeterministic contexts: the body of a
function defined with DEFUN, the body of a call to the FOR-EFFECTS
macro, the first argument of a call to the ONE-VALUE macro, the body of
a call to the POSSIBLY? macro, the body of a call to the NECESSARILY?
macro, the body of a call to the ALL-VALUES macro, the second argument
of a call to the ITH-VALUE macro and the body of a call to the
PRINT-VALUES macro. Note that, the default forms of &OPTIONAL and &KEY
arguments and the initialization forms of &AUX variables, are always
deterministic contexts even though they may appear inside a DEFUN.
   [Condition of type SIMPLE-ERROR]

Any idea how to fix this? Is there a different place I should be
getting a "CMU"-ized screamer from?

As always, any help is appreciated.

Cheers,

rif

Relevant Pages

  • Re: SBCL error "dont know how to dump [object]"
    ... The problem you are having is due to the fact your the macro not only ... but that this code has actual live objects embedded into ... ; compiling (DEFUN MAKE-DOCUMENT ...) ...
    (comp.lang.lisp)
  • Re: Behaviors between Macros 2 Times
    ... > (defmacro test (x y z) ... > `(format t "this line is in vain because it is not retured by macro ... > this is compiling time ... > It means that the "macro machine" thinkns that the variables were ...
    (comp.lang.lisp)
  • Re: Protected cells
    ... I don't understand about the not compiling if you recorded in xl2003. ... Dim myAllowEditRange As AllowEditRange ... In the macro I'm currently using is there a way ... what I meant is that I want to remove the users ability to edit the ...
    (microsoft.public.excel.misc)
  • Re: MACRO:
    ... >> compiling the macro into a single string, and it echos CR in ... so you can enter macro definitions across lines ... > ping = coin ping ping = money ...
    (comp.lang.forth)
  • Re: Question about a problem from Little Schemer
    ... (defun myplus2 (x y) ... ; Compiling Top-Level Form: ... Compiling entire form will produce more accurate times. ... A control stack overflow has occurred: the program has entered the yellow ...
    (comp.lang.lisp)