/[gcl]/gcl/ansi-tests/ccase.lsp
ViewVC logotype

Diff of /gcl/ansi-tests/ccase.lsp

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.8 by pfdietz, Sat Jan 17 12:05:40 2004 UTC revision 1.9 by pfdietz, Thu May 5 03:08:56 2005 UTC
# Line 11  Line 11 
11    2)    2)
12    
13  (deftest ccase.2  (deftest ccase.2
14    (signals-error (let ((x 1)) (ccase x)) type-error)    (signals-type-error x 1 (ccase x))
15    t)    t)
16    
17  (deftest ccase.3  (deftest ccase.3
18    (signals-error    (signals-type-error x 1 (ccase x (a 1) (b 2) (c 3)))
    (let ((x 1))(ccase x (a 1) (b 2) (c 3)))  
    type-error)  
19    t)    t)
20    
21  ;;; It is legal to use T or OTHERWISE as key designators  ;;; It is legal to use T or OTHERWISE as key designators
22  ;;; in CCASE forms.  They have no special meaning here.  ;;; in CCASE forms.  They have no special meaning here.
23    
24  (deftest ccase.4  (deftest ccase.4
25    (signals-error    (signals-type-error x 1 (ccase x (t nil)))
    (let ((x 1)) (ccase x (t nil)))  
    type-error)  
26    t)    t)
27    
28  (deftest ccase.5  (deftest ccase.5
29    (signals-error    (signals-type-error x 1 (ccase x (otherwise nil)))
    (let ((x 1)) (ccase x (otherwise nil)))  
    type-error)  
30    t)    t)
31    
32  (deftest ccase.6  (deftest ccase.6
# Line 54  Line 48 
48    a)    a)
49    
50  (deftest ccase.9  (deftest ccase.9
51    (signals-error    (signals-type-error x nil (ccase x (nil 'a)))
    (let (x) (ccase x (nil 'a)))  
    type-error)  
52    t)    t)
53    
54  (deftest ccase.10  (deftest ccase.10
# Line 70  Line 62 
62    1 2 3)    1 2 3)
63    
64  (deftest ccase.12  (deftest ccase.12
65    (signals-error    (signals-type-error x t (ccase x (a 10)))
    (let ((x t)) (ccase x (a 10)))  
    type-error)  
66    t)    t)
67    
68  (deftest ccase.13  (deftest ccase.13
# Line 86  Line 76 
76    1)    1)
77    
78  (deftest ccase.15  (deftest ccase.15
79    (signals-error    (signals-type-error x 'otherwise (ccase x ((t) 10)))
    (let ((x 'otherwise)) (ccase x ((t) 10)))  
    type-error)  
80    t)    t)
81    
82  (deftest ccase.16  (deftest ccase.16
83    (signals-error    (signals-type-error x t (ccase x ((otherwise) 10)))
    (let ((x t)) (ccase x ((otherwise) 10)))  
    type-error)  
84    t)    t)
85    
86  (deftest ccase.17  (deftest ccase.17
87    (signals-error    (signals-type-error x 'a (ccase x (b 0) (c 1) (otherwise 2)))
    (let ((x 'a)) (ccase x (b 0) (c 1) (otherwise 2)))  
    type-error)  
88    t)    t)
89    
90  (deftest ccase.19  (deftest ccase.19
91    (signals-error    (signals-type-error x 'a (ccase x (b 0) (c 1) ((t) 2)))
    (let ((x 'a)) (ccase x (b 0) (c 1) ((t) 2)))  
    type-error)  
92    t)    t)
93    
94  (deftest ccase.20  (deftest ccase.20

Legend:
Removed from v.1.8  
changed lines
  Added in v.1.9

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26