File: clos-ignore.interactive.lisp

package info (click to toggle)
sbcl 1%3A0.9.16.0-1
  • links: PTS
  • area: main
  • in suites: etch, etch-m68k
  • size: 19,960 kB
  • ctags: 16,537
  • sloc: lisp: 231,164; ansic: 19,558; asm: 2,539; sh: 1,925; makefile: 308
file content (62 lines) | stat: -rw-r--r-- 1,891 bytes parent folder | download | duplicates (8)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
;;;; To test the IGNORE/IGNORABLE behavior in CLOS, run COMPILE-FILE on
;;;; this file and look at the output (warnings, etc.).
;;;;
;;;; (In sbcl-0.6.8.25, the handling of IGNORE and IGNORABLE in
;;;; DEFMETHOD forms was rewritten to systematize the old PCL behavior.
;;;; Now all required variables are IGNORABLE by default.)

;;;; This software is part of the SBCL system. See the README file for
;;;; more information.
;;;;
;;;; While most of SBCL is derived from the CMU CL system, the test
;;;; files (like this one) were written from scratch after the fork
;;;; from CMU CL.
;;;;
;;;; This software is in the public domain and is provided with
;;;; absolutely no warranty. See the COPYING and CREDITS files for
;;;; more information.

(in-package :cl-user)

(defgeneric foo (x y &key &allow-other-keys))

;;; should have no STYLE-WARNINGs (e.g. about unused vars)
(defmethod foo ((x t) (y t))
  nil)

;;; should have no STYLE-WARNINGs
(defmethod foo ((x t) (y t) &key &allow-other-keys)
  (declare (ignore x)))

;;; should have no STYLE-WARNINGs
(defmethod foo ((x t) (y t) &key &allow-other-keys)
  (declare (ignorable x y))
  (declare (ignore y)))

;;; should have no STYLE-WARNINGs
(defmethod foo ((x t) (y t) &key &allow-other-keys)
  x)

;;; should have a STYLE-WARNING: using an IGNOREd variable
(defmethod foo ((x t) (y t) &key &allow-other-keys)
  (declare (ignore x y))
  x)

;;; should have no STYLE-WARNINGs
(defmethod foo (x y &key &allow-other-keys)
  (declare (ignore x y))
  (call-next-method))

;;; should have no STYLE-WARNINGs
(defmethod foo ((x integer) (y t) &key &allow-other-keys)
  (declare (ignore x y))
  (call-next-method))

;;; should have no STYLE-WARNINGs
(defmethod foo ((x integer) (y t) &key &allow-other-keys)
  (declare (ignore x))
  (call-next-method))

;;; should have a STYLE-WARNING: Z is unused.
(defmethod foo ((x t) (y integer) &key z)
  nil)