Menu
▾
▴
sacla tests errors
|
From: Yaroslav K. <kav...@je...> - 2005-11-08 11:32:55
|
clisp from CVS head, mingw
$ ls sacla-tests/*.erg
sacla-tests/must-condition.erg sacla-tests/must-package.erg
sacla-tests/must-hash-table.erg sacla-tests/must-sequence.erg
$ cat sacla-tests/must-condition.erg
Form: (NOT (EQ (SIGNAL 'SIMPLE-ERROR :FORMAT-CONTROL "simple-error"
:FORMAT-ARGUMENTS NIL) NIL))
CORRECT: NIL
CLISP : ERROR
simple-error
OUT:
"[SIMPLE-ERROR]: simple-error
"
Form: (NOT (LET ((HANDLER-DECLINED NIL)) (AND (EQ (HANDLER-BIND
((TYPE-ERROR #'(LAMBDA (C) (DECLARE
(IGNORE C)) (SETQ HANDLER-DECLINED T)))) (SIGNAL 'TYPE-ERROR :DATUM NIL
:EXPECTED-TYPE 'VECTOR)) NIL
) HANDLER-DECLINED)))
CORRECT: NIL
CLISP : ERROR
Condition of type TYPE-ERROR.
OUT:
"[TYPE-ERROR]: Condition of type TYPE-ERROR.
"
Form: (NOT (LET ((HANDLER-DECLINED NIL)) (AND (EQ (HANDLER-BIND
((TYPE-ERROR #'(LAMBDA (C) (DECLARE
(IGNORE C)) (PUSH 'OUTER HANDLER-DECLINED)))) (HANDLER-BIND ((TYPE-ERROR
#'(LAMBDA (C) (DECLARE (IGN
ORE C)) (PUSH 'INNER HANDLER-DECLINED)))) (SIGNAL 'TYPE-ERROR :DATUM NIL
:EXPECTED-TYPE 'VECTOR))) N
IL) (EQUAL HANDLER-DECLINED '(OUTER INNER)))))
CORRECT: NIL
CLISP : ERROR
Condition of type TYPE-ERROR.
OUT:
"[TYPE-ERROR]: Condition of type TYPE-ERROR.
"
Form: (NOT (LET ((HANDLER-DECLINED NIL)) (AND (EQ (HANDLER-BIND
((TYPE-ERROR #'(LAMBDA (C) (DECLARE
(IGNORE C)) (PUSH 'OUTER-LEFT-HANDLER HANDLER-DECLINED))) (TYPE-ERROR
#'(LAMBDA (C) (DECLARE (IGNORE
C)) (PUSH 'OUTER-RIGHT-HANDLER HANDLER-DECLINED)))) (HANDLER-BIND
((TYPE-ERROR #'(LAMBDA (C) (DECLA
RE (IGNORE C)) (PUSH 'INNER-LEFT-HANDLER HANDLER-DECLINED))) (TYPE-ERROR
#'(LAMBDA (C) (DECLARE (IGN
ORE C)) (PUSH 'INNER-RIGHT-HANDLER HANDLER-DECLINED)))) (SIGNAL
'TYPE-ERROR :DATUM NIL :EXPECTED-TYP
E 'VECTOR))) NIL) (EQUAL HANDLER-DECLINED '(OUTER-RIGHT-HANDLER
OUTER-LEFT-HANDLER INNER-RIGHT-HANDL
ER INNER-LEFT-HANDLER)))))
CORRECT: NIL
CLISP : ERROR
Condition of type TYPE-ERROR.
OUT:
"[TYPE-ERROR]: Condition of type TYPE-ERROR.
"
Form: (NOT (LET ((HANDLER-DECLINED NIL)) (AND (EQ (HANDLER-BIND
((TYPE-ERROR #'(LAMBDA (C) (DECLARE
(IGNORE C)) (PUSH 'OUTER-LEFT-HANDLER HANDLER-DECLINED))) (TYPE-ERROR
#'(LAMBDA (C) (DECLARE (IGNORE
C)) (PUSH 'OUTER-RIGHT-HANDLER HANDLER-DECLINED)))) (HANDLER-BIND
((TYPE-ERROR #'(LAMBDA (C) (DECLA
RE (IGNORE C)) (PUSH 'INNER-LEFT-HANDLER HANDLER-DECLINED))) (TYPE-ERROR
#'(LAMBDA (C) (SIGNAL C) (P
USH 'INNER-RIGHT-HANDLER HANDLER-DECLINED)))) (SIGNAL 'TYPE-ERROR :DATUM
NIL :EXPECTED-TYPE 'VECTOR)
)) NIL) (EQUAL HANDLER-DECLINED '(OUTER-RIGHT-HANDLER OUTER-LEFT-HANDLER
INNER-RIGHT-HANDLER OUTER-R
IGHT-HANDLER OUTER-LEFT-HANDLER INNER-LEFT-HANDLER)))))
CORRECT: NIL
CLISP : ERROR
Condition of type TYPE-ERROR.
OUT:
"[TYPE-ERROR]: Condition of type TYPE-ERROR.
"
Form: (NOT (BLOCK TAG (RESTART-BIND ((NIL #'(LAMBDA (&REST REST)
(DECLARE (IGNORE REST)) (RETURN-FRO
M TAG T)))) (HANDLER-CASE (SIGNAL "testing simple-signal")
(SIMPLE-CONDITION NIL (INVOKE-RESTART 'NI
L))))))
CORRECT: NIL
CLISP : ERROR
RESTART-BIND: unnamed restarts require :REPORT-FUNCTION to be specified:
#1=(NIL #'(LAMBDA (&REST RE
ST) (DECLARE (IGNORE REST)) (RETURN-FROM TAG T)))
OUT:
"[SIMPLE-SOURCE-PROGRAM-ERROR]: RESTART-BIND: unnamed restarts require
:REPORT-FUNCTION to be specif
ied: #1=(NIL #'(LAMBDA (&REST REST) (DECLARE (IGNORE REST)) (RETURN-FROM
TAG T)))
"
Form: (NOT (EQ 'OK (RESTART-CASE (INVOKE-RESTART 'NIL) (NIL (&REST REST)
(DECLARE (IGNORE REST)) 'OK
))))
CORRECT: NIL
CLISP : ERROR
RESTART-CASE: unnamed restarts require :REPORT to be specified: #1=(NIL
(&REST REST) (DECLARE (IGNOR
E REST)) 'OK)
OUT:
"[SIMPLE-SOURCE-PROGRAM-ERROR]: RESTART-CASE: unnamed restarts require
:REPORT to be specified: #1=(
NIL (&REST REST) (DECLARE (IGNORE REST)) 'OK)
"
Form: (NOT (NULL (BLOCK TAG (HANDLER-BIND ((ERROR #'(LAMBDA (C)
(RETURN-FROM TAG (RESTART-NAME (FIND
-RESTART 'NIL C)))))) (RESTART-CASE (ERROR "error!") (NIL NIL))))))
CORRECT: NIL
CLISP : ERROR
RESTART-CASE: unnamed restarts require :REPORT to be specified: #1=(NIL NIL)
OUT:
"[SIMPLE-SOURCE-PROGRAM-ERROR]: RESTART-CASE: unnamed restarts require
:REPORT to be specified: #1=(
NIL NIL)
"
$ cat sacla-tests/must-package.erg
Form: (NOT (PROGN (WHEN (FIND-PACKAGE "TB-FOO") (DELETE-PACKAGE
"TB-FOO")) (LET ((*PACKAGE* (MAKE-PA
CKAGE "TB-FOO" :USE NIL)) (NAMES '(A #\B "C" "BUZ"))) (AND (EQ (SHADOW
NAMES) T) (EVERY #'(LAMBDA (N
AME) (EQ (CADR (MULTIPLE-VALUE-LIST (FIND-SYMBOL NAME))) :INTERNAL))
NAMES) (NULL (SET-DIFFERENCE (M
APCAR #'FIND-SYMBOL (MAPCAR #'STRING NAMES)) (PACKAGE-SHADOWING-SYMBOLS
*PACKAGE*)))))))
CORRECT: NIL
CLISP : ERROR
COMMON-LISP:FIND-SYMBOL: argument COMMON-LISP-USER::A is not a string
OUT:
"[SIMPLE-TYPE-ERROR]: COMMON-LISP:FIND-SYMBOL: argument
COMMON-LISP-USER::A is not a string
"
Form: (NOT (PROGN (WHEN (FIND-PACKAGE "TB-FOO") (DELETE-PACKAGE
"TB-FOO")) (AND (PACKAGEP (EVAL `(DE
FPACKAGE "TB-FOO" (:SHADOWING-IMPORT-FROM ,(FIND-PACKAGE 'CL) "CAR"
"CDR")))) (EVERY #'(LAMBDA (NAME
) (FIND-SYMBOL NAME 'TB-FOO)) '("CAR" "CDR")))))
CORRECT: NIL
CLISP : ERROR
STRING: argument #1=#<PACKAGE COMMON-LISP> should be a string, a symbol
or a character
OUT:
"[SIMPLE-TYPE-ERROR]: STRING: argument #1=#<PACKAGE COMMON-LISP> should
be a string, a symbol or a c
haracter
"
Form: (NOT (PROGN (WHEN (FIND-PACKAGE "TB-FOO") (DELETE-PACKAGE
"TB-FOO")) (AND (PACKAGEP (EVAL `(DE
FPACKAGE "TB-FOO" (:IMPORT-FROM ,(FIND-PACKAGE 'CL) "CAR" "CDR"))))
(EVERY #'(LAMBDA (NAME) (FIND-SY
MBOL NAME 'TB-FOO)) '("CAR" "CDR")))))
CORRECT: NIL
CLISP : ERROR
STRING: argument #1=#<PACKAGE COMMON-LISP> should be a string, a symbol
or a character
OUT:
"[SIMPLE-TYPE-ERROR]: STRING: argument #1=#<PACKAGE COMMON-LISP> should
be a string, a symbol or a c
haracter
"
Form: (NOT (PROGN (WHEN (FIND-PACKAGE "TB-FOO") (DELETE-PACKAGE
"TB-FOO")) (LET ((PACKAGE (MAKE-PACK
AGE "TB-FOO" :USE NIL))) (DOLIST (NAME '(A B C D E F G "S1" "S2" "ss"))
(INTERN NAME PACKAGE)) (WITH
-PACKAGE-ITERATOR (GET PACKAGE :INTERNAL) (LOOP (MULTIPLE-VALUE-BIND
(MORE SYMBOL STATUS PKG) (GET)
(UNLESS MORE (RETURN T)) (UNLESS (AND (EQ STATUS :INTERNAL) (EQ PKG
PACKAGE) (EQ SYMBOL (FIND-SYMBOL
(STRING SYMBOL) PKG))) (RETURN NIL))))))))
CORRECT: NIL
CLISP : ERROR
INTERN: argument A is not a string
OUT:
"[SIMPLE-TYPE-ERROR]: INTERN: argument A is not a string
"
Form: (NOT (PROGN (WHEN (FIND-PACKAGE #\a) (DELETE-PACKAGE #\a)) (LET
((PACKAGE (MAKE-PACKAGE #\a :U
SE NIL))) (DOLIST (NAME '(A B C D E F G "S1" "S2" "ss")) (INTERN NAME
PACKAGE)) (WITH-PACKAGE-ITERAT
OR (GET #\a :INTERNAL) (LOOP (MULTIPLE-VALUE-BIND (MORE SYMBOL STATUS
PKG) (GET) (UNLESS MORE (RETUR
N T)) (UNLESS (AND (EQ STATUS :INTERNAL) (EQ PKG PACKAGE) (EQ SYMBOL
(FIND-SYMBOL (STRING SYMBOL) PK
G))) (RETURN NIL))))))))
CORRECT: NIL
CLISP : ERROR
INTERN: argument A is not a string
OUT:
"[SIMPLE-TYPE-ERROR]: INTERN: argument A is not a string
"
Form: (NOT (PROGN (WHEN (FIND-PACKAGE #\a) (DELETE-PACKAGE #\a)) (LET
((PACKAGE (MAKE-PACKAGE #\a :U
SE NIL))) (DOLIST (NAME '(A B C D E F G "S1" "S2" "ss")) (INTERN NAME
PACKAGE)) (WITH-PACKAGE-ITERAT
OR (GET (LIST #\a) :INTERNAL) (LOOP (MULTIPLE-VALUE-BIND (MORE SYMBOL
STATUS PKG) (GET) (UNLESS MORE
(RETURN T)) (UNLESS (AND (EQ STATUS :INTERNAL) (EQ PKG PACKAGE) (EQ
SYMBOL (FIND-SYMBOL (STRING SYM
BOL) PKG))) (RETURN NIL))))))))
CORRECT: NIL
CLISP : ERROR
INTERN: argument A is not a string
OUT:
"[SIMPLE-TYPE-ERROR]: INTERN: argument A is not a string
"
$ cat sacla-tests/must-hash-table.erg
Form: (NOT (HASH-TABLE-P (MAKE-HASH-TABLE :REHASH-SIZE 1.0)))
CORRECT: NIL
CLISP : ERROR
MAKE-HASH-TABLE: :REHASH-SIZE argument should be an integer or a float >
1, not #1=1.0
OUT:
"[SIMPLE-TYPE-ERROR]: MAKE-HASH-TABLE: :REHASH-SIZE argument should be
an integer or a float > 1, no
t #1=1.0
"
$ cat sacla-tests/must-sequence.erg
Form: (NOT (LET ((LIST (LIST 0 1 2))) (AND (EQ (MAP-INTO LIST 'IDENTITY)
LIST) (EQUAL LIST '(0 1 2)))))
CORRECT: NIL
CLISP : ERROR
APPLY: too few arguments given to IDENTITY
OUT:
"[SIMPLE-PROGRAM-ERROR]: APPLY: too few arguments given to IDENTITY
"
Form: (NOT (LET ((VEC (VECTOR 0 1 2))) (AND (EQ (MAP-INTO VEC 'IDENTITY)
VEC) (EQUALP VEC #(0 1 2)))))
CORRECT: NIL
CLISP : ERROR
APPLY: too few arguments given to IDENTITY
OUT:
"[SIMPLE-PROGRAM-ERROR]: APPLY: too few arguments given to IDENTITY
"
Form: (NOT (NULL (MISMATCH '(X Y Z) 'NIL :START1 1 :END1 1 :START2 1
:END2 1)))
CORRECT: NIL
CLISP : ERROR
SYSTEM::LIST-INIT-START: start index 1 too large for NIL
OUT:
"[SIMPLE-TYPE-ERROR]: SYSTEM::LIST-INIT-START: start index 1 too large
for NIL
"
Form: (NOT (NULL (MISMATCH '(X Y Z) 'NIL :START1 2 :END1 2 :START2 2
:END2 2)))
CORRECT: NIL
CLISP : ERROR
SYSTEM::LIST-INIT-START: start index 2 too large for NIL
OUT:
"[SIMPLE-TYPE-ERROR]: SYSTEM::LIST-INIT-START: start index 2 too large
for NIL
"
Form: (NOT (NULL (MISMATCH '(X Y Z) 'NIL :START1 3 :END1 3 :START2 3
:END2 3)))
CORRECT: NIL
CLISP : ERROR
SYSTEM::LIST-INIT-START: start index 3 too large for NIL
OUT:
"[SIMPLE-TYPE-ERROR]: SYSTEM::LIST-INIT-START: start index 3 too large
for NIL
"
Form: (NOT (NULL (MISMATCH '(X Y Z) 'NIL :START1 0 :END1 0 :START2 3
:END2 3)))
CORRECT: NIL
CLISP : ERROR
SYSTEM::LIST-INIT-START: start index 3 too large for NIL
OUT:
"[SIMPLE-TYPE-ERROR]: SYSTEM::LIST-INIT-START: start index 3 too large
for NIL
"
Form: (NOT (NULL (MISMATCH '(X Y Z) 'NIL :START1 1 :END1 1 :START2 2
:END2 2)))
CORRECT: NIL
CLISP : ERROR
SYSTEM::LIST-INIT-START: start index 2 too large for NIL
OUT:
"[SIMPLE-TYPE-ERROR]: SYSTEM::LIST-INIT-START: start index 2 too large
for NIL
"
Form: (NOT (NULL (MISMATCH '(X Y Z) 'NIL :START1 2 :END1 2 :START2 1
:END2 1)))
CORRECT: NIL
CLISP : ERROR
SYSTEM::LIST-INIT-START: start index 1 too large for NIL
OUT:
"[SIMPLE-TYPE-ERROR]: SYSTEM::LIST-INIT-START: start index 1 too large
for NIL
"
Form: (NOT (NULL (MISMATCH #(X Y Z) 'NIL :START1 1 :END1 1 :START2 1
:END2 1)))
CORRECT: NIL
CLISP : ERROR
SYSTEM::LIST-INIT-START: start index 1 too large for NIL
OUT:
"[SIMPLE-TYPE-ERROR]: SYSTEM::LIST-INIT-START: start index 1 too large
for NIL
"
Form: (NOT (NULL (MISMATCH #(X Y Z) 'NIL :START1 2 :END1 2 :START2 2
:END2 2)))
CORRECT: NIL
CLISP : ERROR
SYSTEM::LIST-INIT-START: start index 2 too large for NIL
OUT:
"[SIMPLE-TYPE-ERROR]: SYSTEM::LIST-INIT-START: start index 2 too large
for NIL
"
Form: (NOT (NULL (MISMATCH #(X Y Z) 'NIL :START1 3 :END1 3 :START2 3
:END2 3)))
CORRECT: NIL
CLISP : ERROR
SYSTEM::LIST-INIT-START: start index 3 too large for NIL
OUT:
"[SIMPLE-TYPE-ERROR]: SYSTEM::LIST-INIT-START: start index 3 too large
for NIL
"
Form: (NOT (NULL (MISMATCH #(X Y Z) 'NIL :START1 0 :END1 0 :START2 3
:END2 3)))
CORRECT: NIL
CLISP : ERROR
SYSTEM::LIST-INIT-START: start index 3 too large for NIL
OUT:
"[SIMPLE-TYPE-ERROR]: SYSTEM::LIST-INIT-START: start index 3 too large
for NIL
"
Form: (NOT (NULL (MISMATCH #(X Y Z) 'NIL :START1 1 :END1 1 :START2 2
:END2 2)))
CORRECT: NIL
CLISP : ERROR
SYSTEM::LIST-INIT-START: start index 2 too large for NIL
OUT:
"[SIMPLE-TYPE-ERROR]: SYSTEM::LIST-INIT-START: start index 2 too large
for NIL
"
Form: (NOT (NULL (MISMATCH #(X Y Z) 'NIL :START1 2 :END1 2 :START2 1
:END2 1)))
CORRECT: NIL
CLISP : ERROR
SYSTEM::LIST-INIT-START: start index 1 too large for NIL
OUT:
"[SIMPLE-TYPE-ERROR]: SYSTEM::LIST-INIT-START: start index 1 too large
for NIL
"
Form: (NOT (NULL (MISMATCH '(X Y Z) #() :START1 1 :END1 1 :START2 1
:END2 1)))
CORRECT: NIL
CLISP : ERROR
Illegal START index 1 for #()
OUT:
"[SIMPLE-TYPE-ERROR]: Illegal START index 1 for #()
"
Form: (NOT (NULL (MISMATCH '(X Y Z) #() :START1 2 :END1 2 :START2 2
:END2 2)))
CORRECT: NIL
CLISP : ERROR
Illegal START index 2 for #()
OUT:
"[SIMPLE-TYPE-ERROR]: Illegal START index 2 for #()
"
Form: (NOT (NULL (MISMATCH '(X Y Z) #() :START1 3 :END1 3 :START2 3
:END2 3)))
CORRECT: NIL
CLISP : ERROR
Illegal START index 3 for #()
OUT:
"[SIMPLE-TYPE-ERROR]: Illegal START index 3 for #()
"
Form: (NOT (NULL (MISMATCH '(X Y Z) #() :START1 0 :END1 0 :START2 3
:END2 3)))
CORRECT: NIL
CLISP : ERROR
Illegal START index 3 for #()
OUT:
"[SIMPLE-TYPE-ERROR]: Illegal START index 3 for #()
"
Form: (NOT (NULL (MISMATCH '(X Y Z) #() :START1 1 :END1 1 :START2 2
:END2 2)))
CORRECT: NIL
CLISP : ERROR
Illegal START index 2 for #()
OUT:
"[SIMPLE-TYPE-ERROR]: Illegal START index 2 for #()
"
Form: (NOT (NULL (MISMATCH '(X Y Z) #() :START1 2 :END1 2 :START2 1
:END2 1)))
CORRECT: NIL
CLISP : ERROR
Illegal START index 1 for #()
OUT:
"[SIMPLE-TYPE-ERROR]: Illegal START index 1 for #()
"
Form: (NOT (NULL (MISMATCH #(X Y Z) #() :START1 1 :END1 1 :START2 1
:END2 1)))
CORRECT: NIL
CLISP : ERROR
Illegal START index 1 for #()
OUT:
"[SIMPLE-TYPE-ERROR]: Illegal START index 1 for #()
"
Form: (NOT (NULL (MISMATCH #(X Y Z) #() :START1 2 :END1 2 :START2 2
:END2 2)))
CORRECT: NIL
CLISP : ERROR
Illegal START index 2 for #()
OUT:
"[SIMPLE-TYPE-ERROR]: Illegal START index 2 for #()
"
Form: (NOT (NULL (MISMATCH #(X Y Z) #() :START1 3 :END1 3 :START2 3
:END2 3)))
CORRECT: NIL
CLISP : ERROR
Illegal START index 3 for #()
OUT:
"[SIMPLE-TYPE-ERROR]: Illegal START index 3 for #()
"
Form: (NOT (NULL (MISMATCH #(X Y Z) #() :START1 0 :END1 0 :START2 3
:END2 3)))
CORRECT: NIL
CLISP : ERROR
Illegal START index 3 for #()
OUT:
"[SIMPLE-TYPE-ERROR]: Illegal START index 3 for #()
"
Form: (NOT (NULL (MISMATCH #(X Y Z) #() :START1 1 :END1 1 :START2 2
:END2 2)))
CORRECT: NIL
CLISP : ERROR
Illegal START index 2 for #()
OUT:
"[SIMPLE-TYPE-ERROR]: Illegal START index 2 for #()
"
Form: (NOT (NULL (MISMATCH #(X Y Z) #() :START1 2 :END1 2 :START2 1
:END2 1)))
CORRECT: NIL
CLISP : ERROR
Illegal START index 1 for #()
OUT:
"[SIMPLE-TYPE-ERROR]: Illegal START index 1 for #()
"
Thanks!
--
WBR, Yaroslav Kavenchuk.
|