Steel Bank Common Lisp

; caught ERROR:
;   (during macroexpansion of (DEFINE-CONDITION DATA-ERROR ...))
; unknown slot option:
;   :DOCUMENTATION


(DEFINE-CONDITION DATA-ERROR (ERROR)
  ((PLACE
    :ACCESSOR PLACE
    :INITARG :PLACE
    :DOCUMENTATION "The variable name that contains a bad value.")
   (VALUE
    :ACCESSOR VALUE
    :INITARG :VALUE
    :DOCUMENTATION "The bad value.")
   (MESSAGE
    :ACCESSOR MESSAGE
    :INITARG :MESSAGE
    :DOCUMENTATION "The message explaining the problem.")
   )
  (:DOCUMENTATION "A condition occuring when bad input data is detected.")
  (:REPORT (LAMBDA (CONDITION STREAM)
             (FORMAT STREAM "~&A ~a attribute cannot contain ~A.~%~A~%"
                     (PLACE CONDITION) (VALUE CONDITION) (MESSAGE CONDITION))))
  )

http://www.lispworks.com/reference/HyperSpec/Body/m_defi_5.htm#define-condition
says that :DOCUMENTATION is an option for DEFINE-CONDITION.




(I'd have  tested it with the CVS  head, but the test  suite gives the
following error on the current CVS head:


Top 10 dynamic instance types:
unhandled condition (of type SB-INT:BUG):
    failed AVER: "(SAP= CURRENT END)"
  This is probably a bug in SBCL itself. (Alternatively, SBCL might have been
  corrupted by bad user code, e.g. by an undefined Lisp operation like
  (FMAKUNBOUND 'COMPILE), or by stray pointers from alien code or from unsafe
  Lisp code; or there might be a bug in the OS or hardware that SBCL is running
  on.) If it seems to be a bug in SBCL itself, the maintainers would like to
  know about it. Bug reports are welcome on the SBCL mailing lists, which you
  can find at <http://sbcl.sourceforge.net/>.

0: 
("hairy arg processor for top level local call SB!DEBUG:BACKTRACE"
    128
    #<SYNONYM-STREAM :SYMBOL SB-SYS:*STDERR* {5060F91}>)
1: (SB-DEBUG::DEBUGGER-DISABLED-HOOK
    2
    #<SB-INT:BUG {90645D1}>
    #<unavailable argument>)[:EXTERNAL]
2: (INVOKE-DEBUGGER 1 #<SB-INT:BUG {90645D1}>)[:EXTERNAL]
3: (ERROR 5 SB-INT:BUG)[:EXTERNAL]
4: (SB-INT:BUG 2 "~@<failed AVER: ~2I~_~S~:>")[:EXTERNAL]
5: (SB-IMPL::%FAILED-AVER 1 "(SAP= CURRENT END)")[:EXTERNAL]
6: (SB-VM::MAP-ALLOCATED-OBJECTS 2 #<FUNCTION "CLOSURE" {9062D9D}> :DYNAMIC)[:EXTERNAL]
7: (SB-VM:INSTANCE-USAGE 3 :DYNAMIC)[:EXTERNAL]
8: (SB-KERNEL::ROOM-MAXIMAL-INFO 0)[:EXTERNAL]
9: ("hairy arg processor for top level local call ROOM" T)
10: (SB-INT:EVAL-IN-LEXENV
     2
     (ROOM T)
     #S(SB-KERNEL:LEXENV
        :FUNS NIL
        :VARS NIL
        :BLOCKS NIL
        :TAGS NIL
        :TYPE-RESTRICTIONS NIL
        :LAMBDA NIL
        :CLEANUP NIL
        :POLICY ((SPEED . 1) (SPACE . 1) (SAFETY . 1) (INHIBIT-WARNINGS . 1)
                 (DEBUG . 1) (COMPILATION-SPEED . 1))))[:EXTERNAL]
11: (SB-FASL::LOAD-AS-SOURCE
     3
     #<FILE-STREAM for "file \"/local/src/sbcl/sbcl/tests/smoke.impure.lisp\""
       {9029DC9}>
     NIL
     NIL)[:EXTERNAL]
12: ("hairy arg processor for top level local call SB!FASL::INTERNAL-LOAD"
     #P"smoke.impure.lisp"
     #P"/local/src/sbcl/sbcl/tests/smoke.impure.lisp"
     :ERROR
     NIL
     NIL
     :SOURCE)
13: ("hairy arg processor for top level local call SB!FASL::INTERNAL-LOAD"
     #P"smoke.impure.lisp"
     #P"/local/src/sbcl/sbcl/tests/smoke.impure.lisp"
     :ERROR
     NIL
     NIL
     NIL)
14: (LOAD 1 "smoke.impure.lisp")[:EXTERNAL]
15: (SB-INT:EVAL-IN-LEXENV
     2
     (LOAD "smoke.impure.lisp")
     #S(SB-KERNEL:LEXENV
        :FUNS NIL
        :VARS NIL
        :BLOCKS NIL
        :TAGS NIL
        :TYPE-RESTRICTIONS NIL
        :LAMBDA NIL
        :CLEANUP NIL
        :POLICY ((SAFETY . 3) (COMPILATION-SPEED . 2) (DEBUG . 2) (SPEED . 1)
                 (SPACE . 1) (INHIBIT-WARNINGS . 1))))[:EXTERNAL]
16: (INTERACTIVE-EVAL 1 (LOAD "smoke.impure.lisp"))[:EXTERNAL]
17: (SB-IMPL::REPL-FUN 1 T)[:EXTERNAL]
18: ("#'(LAMBDA NIL (LOOP # #))")
19: ("XEP for #'(LAMBDA NIL (LOOP # #))" 0)[:EXTERNAL]
20: (SB-IMPL::%WITH-REBOUND-IO-SYNTAX 1 #<FUNCTION "CLOSURE" {90253BD}>)[:EXTERNAL]
21: (SB-IMPL::TOPLEVEL-REPL 1 T)[:EXTERNAL]
22: (SB-IMPL::TOPLEVEL-INIT 0)[:EXTERNAL]
23: ("FLET SB!IMPL::RESTART-LISP")

unhandled condition in --disable-debugger mode, quitting
test smoke.impure.lisp failed, expected 104 return code, got 1

)


-- 
__Pascal_Bourguignon__                     http://www.informatimago.com/
There is no worse tyranny than to force a man to pay for what he doesn't
want merely because you think it would be good for him.--Robert Heinlein
http://www.theadvocates.org/