source: trunk/source/tests/ansi-tests/declaration.lsp @ 8991

Last change on this file since 8991 was 8991, checked in by gz, 11 years ago

Check in the gcl ansi test suite (original, in preparation for making local changes)

File size: 2.2 KB
Line 
1;-*- Mode:     Lisp -*-
2;;;; Author:   Paul Dietz
3;;;; Created:  Sun May 29 07:16:15 2005
4;;;; Contains: Tests of the DECLARATION declarations
5
6
7(in-package :cl-test)
8
9(deftest declaration.1
10  (progn (declaim (declaration)) nil)
11  nil)
12
13(deftest declaration.2
14  (progn (proclaim '(declaration)) nil)
15  nil)
16
17(deftest declaration.3
18  (let ((sym (gensym))
19        (sym2 (gensym)))
20    (proclaim `(declaration ,sym ,sym2))
21    nil)
22  nil)
23
24;;; For the error tests, see the page in the CLHS for TYPE:
25;;; "A symbol cannot be both the name of a type and the name
26;;;  of a declaration. Defining a symbol as the name of a class,
27;;;  structure, condition, or type, when the symbol has been
28;;;  declared as a declaration name, or vice versa, signals an error."
29
30;;; Declare these only if bad declarations produce warnings.
31
32(when (block done
33        (handler-bind ((warning #'(lambda (c) (return-from done t))))
34                      (eval `(let () (declare (,(gensym))) nil))))
35
36(deftest declaration.4
37  (let ((sym (gensym)))
38    (proclaim `(declaration ,sym))
39    (eval `(signals-error-always (deftype ,sym () t) error)))
40  t t)
41
42(deftest declaration.5
43  (let ((sym (gensym)))
44    (proclaim `(declaration ,sym))
45    (eval `(signals-error-always (defstruct ,sym a b c) error)))
46  t t)
47
48(deftest declaration.6
49  (let ((sym (gensym)))
50    (proclaim `(declaration ,sym))
51    (eval `(signals-error-always (defclass ,sym () (a b c)) error)))
52  t t)
53
54(deftest declaration.7
55  (let ((sym (gensym)))
56    (proclaim `(declaration ,sym))
57    (eval `(signals-error-always (define-condition ,sym (condition) (a b c))
58                                 error)))
59  t t)
60
61(deftest declaration.8
62  (let ((sym (gensym)))
63    (eval `(deftype ,sym () 'error))
64    (eval `(signals-error-always (proclaim '(declaration ,sym))
65                                 error)))
66  t t)
67
68(deftest declaration.9
69  (let ((sym (gensym)))
70    (eval `(defstruct ,sym a b c))
71    (eval `(signals-error-always (proclaim '(declaration ,sym))
72                                 error)))
73  t t)
74
75(deftest declaration.10
76  (let ((sym (gensym)))
77    (eval `(defclass ,sym () (a b c)))
78    (eval `(signals-error-always (proclaim '(declaration ,sym))
79                                 error)))
80  t t)
81
82(deftest declaration.11
83  (let ((sym (gensym)))
84    (eval `(define-condition ,sym (condition) (a b c)))
85    (eval `(signals-error-always (proclaim '(declaration ,sym))
86                                 error)))
87  t t)
88
89)
90
91
92
93
94
95
96
Note: See TracBrowser for help on using the repository browser.