|
428
|
1 ;;; bytecomp-runtime.el --- byte-compiler support for inlining
|
|
|
2
|
|
|
3 ;; Copyright (C) 1992, 1997 Free Software Foundation, Inc.
|
|
771
|
4 ;; Copyright (C) 2002 Ben Wing.
|
|
428
|
5
|
|
|
6 ;; Author: Jamie Zawinski <jwz@jwz.org>
|
|
|
7 ;; Author: Hallvard Furuseth <hbf@ulrik.uio.no>
|
|
|
8 ;; Maintainer: XEmacs Development Team
|
|
|
9 ;; Keywords: internal, dumped
|
|
|
10
|
|
|
11 ;; This file is part of XEmacs.
|
|
|
12
|
|
|
13 ;; XEmacs is free software; you can redistribute it and/or modify it
|
|
|
14 ;; under the terms of the GNU General Public License as published by
|
|
|
15 ;; the Free Software Foundation; either version 2, or (at your option)
|
|
|
16 ;; any later version.
|
|
|
17
|
|
|
18 ;; XEmacs is distributed in the hope that it will be useful, but
|
|
|
19 ;; WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
20 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
|
21 ;; General Public License for more details.
|
|
|
22
|
|
|
23 ;; You should have received a copy of the GNU General Public License
|
|
|
24 ;; along with XEmacs; see the file COPYING. If not, write to the
|
|
|
25 ;; Free Software Foundation, Inc., 59 Temple Place - Suite 330,
|
|
|
26 ;; Boston, MA 02111-1307, USA.
|
|
|
27
|
|
|
28 ;;; Synched up with: FSF 19.30.
|
|
|
29
|
|
|
30 ;;; Commentary:
|
|
|
31
|
|
|
32 ;; This file is dumped with XEmacs.
|
|
|
33
|
|
|
34 ;; The code in this file should always be loaded, because it defines things
|
|
|
35 ;; like "defsubst" which should work interpreted as well. The code in
|
|
|
36 ;; bytecomp.el and byte-optimize.el can be loaded as needed.
|
|
|
37
|
|
|
38 ;; interface to selectively inlining functions.
|
|
|
39 ;; This only happens when source-code optimization is turned on.
|
|
|
40
|
|
|
41 ;;; Code:
|
|
|
42
|
|
|
43 ;; Redefined in byte-optimize.el.
|
|
|
44 ;; This is not documented--it's not clear that we should promote it.
|
|
|
45 (fset 'inline 'progn)
|
|
|
46 (put 'inline 'lisp-indent-hook 0)
|
|
|
47
|
|
|
48
|
|
|
49 ;;; Interface to inline functions.
|
|
|
50
|
|
|
51 ;; FSF comments the next two out, but I see no reason to do so. --ben
|
|
|
52 (defmacro proclaim-inline (&rest fns)
|
|
|
53 "Cause the named functions to be open-coded when called from compiled code.
|
|
|
54 They will only be compiled open-coded when `byte-optimize' is true."
|
|
|
55 (cons 'eval-and-compile
|
|
|
56 (apply
|
|
|
57 'nconc
|
|
|
58 (mapcar
|
|
|
59 #'(lambda (x)
|
|
|
60 `((or (memq (get ',x 'byte-optimizer)
|
|
|
61 '(nil byte-compile-inline-expand))
|
|
|
62 (error
|
|
|
63 "%s already has a byte-optimizer, can't make it inline"
|
|
|
64 ',x))
|
|
|
65 (put ',x 'byte-optimizer 'byte-compile-inline-expand)))
|
|
|
66 fns))))
|
|
|
67
|
|
|
68
|
|
|
69 (defmacro proclaim-notinline (&rest fns)
|
|
|
70 "Cause the named functions to no longer be open-coded."
|
|
|
71 (cons 'eval-and-compile
|
|
|
72 (apply
|
|
|
73 'nconc
|
|
|
74 (mapcar
|
|
|
75 #'(lambda (x)
|
|
|
76 `((if (eq (get ',x 'byte-optimizer)
|
|
|
77 'byte-compile-inline-expand)
|
|
|
78 (put ',x 'byte-optimizer nil))))
|
|
|
79 fns))))
|
|
|
80
|
|
|
81 ;; This has a special byte-hunk-handler in bytecomp.el.
|
|
|
82 (defmacro defsubst (name arglist &rest body)
|
|
|
83 "Define an inline function. The syntax is just like that of `defun'."
|
|
|
84 (or (memq (get name 'byte-optimizer)
|
|
|
85 '(nil byte-compile-inline-expand))
|
|
|
86 (error "`%s' is a primitive" name))
|
|
|
87 (list 'prog1
|
|
|
88 (cons 'defun (cons name (cons arglist body)))
|
|
|
89 (list 'proclaim-inline name)))
|
|
|
90 ; Instead of the above line, FSF has this:
|
|
|
91 ; (list 'eval-and-compile
|
|
|
92 ; (list 'put (list 'quote name)
|
|
|
93 ; ''byte-optimizer ''byte-compile-inline-expand))))
|
|
|
94
|
|
|
95 (defun make-obsolete (fn new)
|
|
|
96 "Make the byte-compiler warn that FUNCTION is obsolete.
|
|
|
97 The warning will say that NEW should be used instead.
|
|
|
98 If NEW is a string, that is the `use instead' message."
|
|
|
99 (interactive "aMake function obsolete: \nxObsoletion replacement: ")
|
|
|
100 (let ((handler (get fn 'byte-compile)))
|
|
|
101 (if (eq 'byte-compile-obsolete handler)
|
|
|
102 (setcar (get fn 'byte-obsolete-info) new)
|
|
|
103 (put fn 'byte-obsolete-info (cons new handler))
|
|
|
104 (put fn 'byte-compile 'byte-compile-obsolete)))
|
|
|
105 fn)
|
|
|
106
|
|
|
107 (defun make-obsolete-variable (var new)
|
|
|
108 "Make the byte-compiler warn that VARIABLE is obsolete,
|
|
|
109 and NEW should be used instead. If NEW is a string, then that is the
|
|
|
110 `use instead' message."
|
|
|
111 (interactive
|
|
|
112 (list
|
|
|
113 (let ((str (completing-read "Make variable obsolete: " obarray 'boundp t)))
|
|
|
114 (if (equal str "") (error ""))
|
|
|
115 (intern str))
|
|
|
116 (car (read-from-string (read-string "Obsoletion replacement: ")))))
|
|
|
117 (put var 'byte-obsolete-variable new)
|
|
|
118 var)
|
|
|
119
|
|
|
120 ;; By overwhelming demand, we separate out truly obsolete symbols from
|
|
|
121 ;; those that are present for GNU Emacs compatibility.
|
|
|
122 (defun make-compatible (fn new)
|
|
|
123 "Make the byte-compiler know that FUNCTION is provided for compatibility.
|
|
|
124 The warning will say that NEW should be used instead.
|
|
|
125 If NEW is a string, that is the `use instead' message."
|
|
|
126 (interactive "aMake function compatible: \nxCompatible replacement: ")
|
|
|
127 (let ((handler (get fn 'byte-compile)))
|
|
|
128 (if (eq 'byte-compile-compatible handler)
|
|
|
129 (setcar (get fn 'byte-compatible-info) new)
|
|
|
130 (put fn 'byte-compatible-info (cons new handler))
|
|
|
131 (put fn 'byte-compile 'byte-compile-compatible)))
|
|
|
132 fn)
|
|
|
133
|
|
|
134 (defun make-compatible-variable (var new)
|
|
|
135 "Make the byte-compiler know that VARIABLE is provided for compatibility.
|
|
|
136 and NEW should be used instead. If NEW is a string, then that is the
|
|
|
137 `use instead' message."
|
|
|
138 (interactive
|
|
|
139 (list
|
|
|
140 (let ((str (completing-read "Make variable compatible: "
|
|
|
141 obarray 'boundp t)))
|
|
|
142 (if (equal str "") (error ""))
|
|
|
143 (intern str))
|
|
|
144 (car (read-from-string (read-string "Compatible replacement: ")))))
|
|
|
145 (put var 'byte-compatible-variable new)
|
|
|
146 var)
|
|
|
147
|
|
|
148 (put 'dont-compile 'lisp-indent-hook 0)
|
|
|
149 (defmacro dont-compile (&rest body)
|
|
|
150 "Like `progn', but the body always runs interpreted (not compiled).
|
|
|
151 If you think you need this, you're probably making a mistake somewhere."
|
|
|
152 (list 'eval (list 'quote (if (cdr body) (cons 'progn body) (car body)))))
|
|
|
153
|
|
|
154
|
|
|
155 ;;; interface to evaluating things at compile time and/or load time
|
|
|
156 ;;; these macro must come after any uses of them in this file, as their
|
|
|
157 ;;; definition in the file overrides the magic definitions on the
|
|
|
158 ;;; byte-compile-macro-environment.
|
|
|
159
|
|
|
160 (put 'eval-when-compile 'lisp-indent-hook 0)
|
|
|
161 (defmacro eval-when-compile (&rest body)
|
|
|
162 "Like `progn', but evaluates the body at compile time.
|
|
|
163 The result of the body appears to the compiler as a quoted constant."
|
|
|
164 ;; Not necessary because we have it in b-c-initial-macro-environment
|
|
|
165 ;; (list 'quote (eval (cons 'progn body)))
|
|
|
166 (cons 'progn body))
|
|
|
167
|
|
|
168 (put 'eval-and-compile 'lisp-indent-hook 0)
|
|
|
169 (defmacro eval-and-compile (&rest body)
|
|
|
170 "Like `progn', but evaluates the body at compile time and at load time."
|
|
|
171 ;; Remember, it's magic.
|
|
|
172 (cons 'progn body))
|
|
|
173
|
|
|
174 ;;; From Emacs 20.
|
|
|
175 (put 'eval-when-feature 'lisp-indent-hook 1)
|
|
|
176 (defmacro eval-when-feature (feature &rest body)
|
|
|
177 "Run the body forms when FEATURE is featurep, be it now or later.
|
|
|
178 Called (eval-when-feature (FEATURE [. FILENAME]) BODYFORMS...).
|
|
|
179 If (featurep 'FEATURE), evals now; otherwise adds an elt to
|
|
|
180 `after-load-alist' (which see), using FEATURE as filename if FILENAME is nil."
|
|
|
181 (let ((file (or (cdr feature) (symbol-name (car feature)))))
|
|
|
182 `(let ((bodythunk #'(lambda () ,@body)))
|
|
|
183 (if (featurep ',(car feature))
|
|
|
184 (funcall bodythunk)
|
|
|
185 (setq after-load-alist (cons '(,file . (list 'lambda '() bodythunk))
|
|
|
186 after-load-alist))))))
|
|
502
|
187
|
|
|
188
|
|
|
189
|
|
|
190 ;;; Functions to cleanly eliminate warnings about undefined functions
|
|
|
191 ;;; or variables when the code knows what it's doing. These macros DO
|
|
|
192 ;;; NOT rely on any byte-compiler changes, and thus can be copied into
|
|
|
193 ;;; a package and used within it.
|
|
|
194
|
|
|
195 ;; NOTE: As a result of the above requirement, the macros rely on
|
|
|
196 ;; "tricks" to get the warnings suppressed. A cleaner way, of course,
|
|
|
197 ;; would be to extend the byte compiler to provide a proper interface.
|
|
|
198
|
|
|
199 ;; #### Should we require an unquoted symbol rather than a quoted one,
|
|
|
200 ;; as we currently do? The quoting gets no generality, as `eval' is
|
|
|
201 ;; called at compile time. But most functions and macros want quoted
|
|
|
202 ;; arguments, and I find it extremely confusing to deal with cases
|
|
|
203 ;; such as `throw' requiring a quoted argument but `block' an unquoted
|
|
|
204 ;; one.
|
|
|
205
|
|
|
206 (put 'with-boundp 'lisp-indent-function 1)
|
|
771
|
207 (defmacro with-boundp (variables &rest body)
|
|
|
208 "Evaluate BODY, but do not issue bytecomp warnings about VARIABLES undefined.
|
|
|
209 VARIABLES can be a symbol or a list of symbols and must be quoted. When
|
|
|
210 compiling this file, the warnings `reference to free variable VARIABLE' and
|
|
|
211 `assignment to free variable VARIABLE' will not occur anywhere in BODY, for
|
|
|
212 any of the listed variables. This is a clean way to avoid such warnings.
|
|
|
213 See also `declare-boundp', `if-boundp', `when-boundp', and
|
|
|
214 `globally-declare-boundp'."
|
|
|
215 (setq variables (eval variables))
|
|
|
216 (unless (consp variables)
|
|
|
217 (setq variables (list variables)))
|
|
502
|
218 `(progn
|
|
771
|
219 (declare (special ,@variables))
|
|
502
|
220 ,@body))
|
|
|
221
|
|
|
222 (put 'if-boundp 'lisp-indent-function 2)
|
|
771
|
223 (defmacro if-boundp (variable then &rest else)
|
|
|
224 "Equivalent to (if (boundp VARIABLE) THEN ELSE) but handles bytecomp warnings.
|
|
|
225 VARIABLE should be a quoted symbol. When compiling this file, the warnings
|
|
|
226 `reference to free variable VARIABLE' and `assignment to free variable
|
|
|
227 VARIABLE' will not occur anywhere in the if-statement. This is a clean way
|
|
|
228 to avoid such warnings. See also `when-boundp', `declare-boundp',
|
|
|
229 `with-boundp' and `globally-declare-boundp'."
|
|
|
230 `(with-boundp ,variable
|
|
|
231 (if (boundp ,variable) ,then ,@else)))
|
|
502
|
232
|
|
771
|
233 (put 'when-boundp 'lisp-indent-function 1)
|
|
|
234 (defmacro when-boundp (variable &rest body)
|
|
|
235 "Equivalent to (when (boundp VARIABLE) BODY) but handles bytecomp warnings.
|
|
|
236 VARIABLE should be a quoted symbol. When compiling this file, the warnings
|
|
|
237 `reference to free variable VARIABLE' and `assignment to free variable
|
|
|
238 VARIABLE' will not occur anywhere in the when-statement. This is a clean
|
|
|
239 way to avoid such warnings. See also `if-boundp', `declare-boundp',
|
|
|
240 `with-boundp' and `globally-declare-boundp'."
|
|
|
241 `(with-boundp ,variable
|
|
|
242 (when (boundp ,variable) ,@body)))
|
|
|
243
|
|
|
244 (defmacro declare-boundp (variable)
|
|
|
245 "Evaluate VARIABLE without bytecomp warnings about the symbol.
|
|
|
246
|
|
502
|
247 Sample usage is
|
|
|
248
|
|
|
249 (declare-boundp gpm-minor-mode)
|
|
|
250
|
|
|
251 which is equivalent to
|
|
|
252
|
|
771
|
253 (with-boundp 'gpm-minor-mode
|
|
502
|
254 gpm-minor-mode)"
|
|
771
|
255 `(with-boundp ',variable ,variable))
|
|
502
|
256
|
|
771
|
257 (defmacro globally-declare-boundp (variables)
|
|
|
258 "Declare that all free uses of VARIABLES in this file are valid.
|
|
|
259 VARIABLES can be a symbol or a list of symbols and must be quoted.
|
|
502
|
260
|
|
771
|
261 When compiling this file, the warnings `reference to free variable
|
|
|
262 VARIABLE' and `assignment to free variable VARIABLE' will not occur
|
|
|
263 regardless of where references to VARIABLE occur in the file.
|
|
502
|
264
|
|
771
|
265 In general, you should *NOT* use this; use `declare-boundp', `if-boundp',
|
|
|
266 `when-boundp', or `with-boundp' to wrap individual uses, as necessary.
|
|
|
267 That way, you're more likely to remember to put in the explicit checks for
|
|
|
268 the variable's existence that are usually necessary. However,
|
|
|
269 `globally-declare-boundp' is better in some circumstances, such as when
|
|
|
270 writing an ELisp package that makes integral use of optionally-compiled-in
|
|
|
271 functionality (typically, an interface onto a system library) and checks
|
|
|
272 for the existence of the functionality at some entry point to the package.
|
|
|
273 See `globally-declare-fboundp' for more information."
|
|
|
274 (setq variables (eval variables))
|
|
|
275 (if (not (consp variables))
|
|
|
276 (setq variables (list variables)))
|
|
502
|
277 `(progn
|
|
|
278 ;; (defvar FOO) has no side effects.
|
|
771
|
279 ,@(mapcar #'(lambda (sym) `(defvar ,sym)) variables)))
|
|
502
|
280
|
|
|
281 (defun byte-compile-with-fboundp (form)
|
|
|
282 (byte-compile-form (cons 'progn (cdr (cdr form))))
|
|
|
283 ;; Unfortunately, byte-compile-unresolved-functions is used not only
|
|
|
284 ;; for unresolved-function warnings, but also in connection with the
|
|
|
285 ;; following warnings:
|
|
|
286
|
|
|
287 ;; "defsubst %s was used before it was defined"
|
|
|
288 ;; "%s being defined to take %s%s, but was previously called with %s"
|
|
|
289
|
|
|
290 ;; By hacking byte-compile-unresolved-functions like this, we
|
|
|
291 ;; effectively disable these warnings. But code should not be using
|
|
|
292 ;; `with-fboundp' with a function defined later on in the same
|
|
|
293 ;; file, so this is not a big deal.
|
|
|
294
|
|
|
295 (let ((symbols (eval (car (cdr form)))))
|
|
|
296 (unless (consp symbols)
|
|
|
297 (setq symbols (list symbols)))
|
|
|
298 (setq symbols (mapcar #'(lambda (sym) (cons sym nil)) symbols))
|
|
|
299 (setq byte-compile-unresolved-functions
|
|
|
300 (set-difference byte-compile-unresolved-functions symbols
|
|
|
301 :key #'car))
|
|
|
302 ))
|
|
|
303
|
|
|
304 ;; EEEEEEEEVIL hack. We need to create our own byte-compilation
|
|
|
305 ;; method so that the proper variables are bound while compilation
|
|
|
306 ;; takes place (which is when the warnings get noticed and batched
|
|
|
307 ;; up). What we really want to do is make `with-fboundp' a macro
|
|
|
308 ;; that simply `progn's its BODY; but GOD DAMN IT, macros can't have
|
|
|
309 ;; their own byte-compilation methods! So we make `with-fboundp' a
|
|
|
310 ;; macro calling `with-fboundp-1', which is cleverly aliased to
|
|
|
311 ;; progn. This way we can put a byte-compilation method on
|
|
|
312 ;; `with-fboundp-1', and when interpreting, progn will duly skip
|
|
|
313 ;; the first, quoted argument, i.e. the symbol name. (We could make
|
|
|
314 ;; `with-fboundp-1' a regular function, but then we'd have to thunk
|
|
|
315 ;; BODY and eval it at runtime. We could probably just do this using
|
|
|
316 ;; (apply 'progn BODY), but the existing method is more obviously
|
|
|
317 ;; guaranteed to work.)
|
|
|
318 ;;
|
|
|
319 ;; In defense, cl-macs.el does a very similar thing with
|
|
|
320 ;; `cl-block-wrapper'.
|
|
|
321
|
|
|
322 (put 'with-fboundp-1 'byte-compile 'byte-compile-with-fboundp)
|
|
|
323 (defalias 'with-fboundp-1 'progn)
|
|
|
324
|
|
|
325 (put 'with-fboundp 'lisp-indent-function 1)
|
|
771
|
326 (defmacro with-fboundp (functions &rest body)
|
|
|
327 "Evaluate BODY, but do not issue bytecomp warnings about FUNCTIONS undefined.
|
|
|
328 FUNCTIONS can be a symbol or a list of symbols and must be quoted. When
|
|
|
329 compiling this file, the warning `the function FUNCTION is not known to be
|
|
|
330 defined' will not occur anywhere in BODY, for any of the listed functions.
|
|
|
331 This is a clean way to avoid such warnings. See also `declare-fboundp',
|
|
|
332 `if-fboundp', `when-fboundp', and `globally-declare-fboundp'."
|
|
|
333 `(with-fboundp-1 ,functions ,@body))
|
|
502
|
334
|
|
|
335 (put 'if-fboundp 'lisp-indent-function 2)
|
|
771
|
336 (defmacro if-fboundp (function then &rest else)
|
|
|
337 "Equivalent to (if (fboundp FUNCTION) THEN ELSE) but handles bytecomp warnings.
|
|
|
338 FUNCTION should be a quoted symbol. When compiling this file, the warning
|
|
|
339 `the function FUNCTION is not known to be defined' will not occur anywhere
|
|
|
340 in the if-statement. This is a clean way to avoid such warnings. See also
|
|
|
341 `when-fboundp', `declare-fboundp', `with-fboundp', and
|
|
502
|
342 `globally-declare-fboundp'."
|
|
771
|
343 `(with-fboundp ,function
|
|
|
344 (if (fboundp ,function) ,then ,@else)))
|
|
|
345
|
|
|
346 (put 'when-fboundp 'lisp-indent-function 1)
|
|
|
347 (defmacro when-fboundp (function &rest body)
|
|
|
348 "Equivalent to (when (fboundp FUNCTION) BODY) but handles bytecomp warnings.
|
|
|
349 FUNCTION should be a quoted symbol. When compiling this file, the warning
|
|
|
350 `the function FUNCTION is not known to be defined' will not occur anywhere
|
|
|
351 in the when-statement. This is a clean way to avoid such warnings. See
|
|
|
352 also `if-fboundp', `declare-fboundp', `with-fboundp', and
|
|
|
353 `globally-declare-fboundp'."
|
|
|
354 `(with-fboundp ,function
|
|
|
355 (when (fboundp ,function) ,@body)))
|
|
502
|
356
|
|
|
357 (defmacro declare-fboundp (form)
|
|
|
358 "Execute FORM (a function call) without bytecomp warnings about the call.
|
|
|
359 Sample usage is
|
|
|
360
|
|
|
361 (declare-fboundp (x-keysym-on-keyboard-sans-modifiers-p 'backspace))
|
|
|
362
|
|
|
363 which is equivalent to
|
|
|
364
|
|
|
365 (with-fboundp 'x-keysym-on-keyboard-sans-modifiers-p
|
|
|
366 (x-keysym-on-keyboard-sans-modifiers-p 'backspace))"
|
|
|
367 `(with-fboundp ',(car form) ,form))
|
|
|
368
|
|
771
|
369 (defmacro globally-declare-fboundp (functions)
|
|
|
370 "Declare that all calls to function FUNCTIONS in this file are valid.
|
|
|
371 FUNCTIONS can be a symbol or a list of symbols and must be quoted.
|
|
502
|
372
|
|
771
|
373 When compiling this file, the warning `the function FUNCTION is not known
|
|
|
374 to be defined' will not occur regardless of where calls to FUNCTION occur
|
|
|
375 in the file.
|
|
502
|
376
|
|
771
|
377 In general, you should *NOT* use this; use `declare-fboundp', `if-fboundp',
|
|
|
378 `when-fboundp', or `with-fboundp' to wrap individual uses, as necessary.
|
|
|
379 That way, you're more likely to remember to put in the explicit checks for
|
|
|
380 the function's existence that are usually necessary. However,
|
|
|
381 `globally-declare-fboundp' is better in some circumstances, such as when
|
|
|
382 writing an ELisp package that makes integral use of optionally-compiled-in
|
|
|
383 functionality (typically, an interface onto a system library) and checks
|
|
|
384 for the existence of the functionality at some entry point to the package.
|
|
|
385 The file `ldap.el' is a good example: It provides a layer on top of the
|
|
|
386 optional LDAP ELisp primitives, makes calls to them throughout its code,
|
|
|
387 and verifies the presence of LDAP support at load time. Putting calls to
|
|
502
|
388 `declare-fboundp' throughout the code would be a major annoyance."
|
|
|
389 (when (cl-compiling-file)
|
|
771
|
390 (setq functions (eval functions))
|
|
|
391 (if (not (consp functions))
|
|
|
392 (setq functions (list functions)))
|
|
502
|
393 ;; Another hack. This works because the autoload environment is
|
|
|
394 ;; currently used ONLY to suppress warnings, and the actual
|
|
|
395 ;; autoload definition is not used. (NOTE: With this definition,
|
|
|
396 ;; we will get spurious "multiple autoloads for %s" warnings if we
|
|
771
|
397 ;; have an autoload later in the file for any functions in FUNCTIONS.
|
|
502
|
398 ;; This is not something that code should ever do, though.)
|
|
|
399 (setq byte-compile-autoload-environment
|
|
771
|
400 (append (mapcar #'(lambda (sym) (cons sym nil)) functions)
|
|
502
|
401 byte-compile-autoload-environment)))
|
|
|
402 nil)
|
|
|
403
|
|
|
404 (defun byte-compile-with-byte-compiler-warnings-suppressed (form)
|
|
|
405 (let ((byte-compile-warnings byte-compile-warnings)
|
|
|
406 (types (car (cdr form))))
|
|
|
407 (unless (consp types)
|
|
|
408 (setq types (list types)))
|
|
|
409 (if (eq byte-compile-warnings t)
|
|
|
410 (setq byte-compile-warnings byte-compile-default-warnings))
|
|
|
411 (setq byte-compile-warnings (set-difference byte-compile-warnings types))
|
|
|
412 (byte-compile-form (cons 'progn (cdr (cdr form))))))
|
|
|
413
|
|
|
414 ;; Same hack here as with `with-fboundp'.
|
|
|
415 (put 'with-byte-compiler-warnings-suppressed-1 'byte-compile
|
|
|
416 'byte-compile-with-byte-compiler-warnings-suppressed)
|
|
|
417 (defalias 'with-byte-compiler-warnings-suppressed-1 'progn)
|
|
|
418
|
|
|
419 (put 'with-byte-compiler-warnings-suppressed 'lisp-indent-function 1)
|
|
|
420 (defmacro with-byte-compiler-warnings-suppressed (type &rest body)
|
|
|
421 "Evaluate BODY, but do not issue bytecomp warnings TYPE.
|
|
|
422 TYPE should be one of `redefine', `callargs', `subr-callargs',
|
|
|
423 `free-vars', `unresolved', `unused-vars', `obsolete', or `pedantic',
|
|
|
424 or a list of one or more of these symbols. (See `byte-compile-warnings'.)
|
|
|
425 TYPE must be quoted.
|
|
|
426
|
|
|
427 NOTE: You should *NOT* under normal circumstances be using this!
|
|
|
428 There are better ways of avoiding most of these warnings. In particular:
|
|
|
429
|
|
|
430 -- use (declare (special ...)) if you are making use of
|
|
|
431 dynamically-scoped variables.
|
|
771
|
432 -- use `if-fboundp', `when-fboundp', `declare-fboundp', `with-fboundp', or
|
|
|
433 `globally-declare-fboundp' to avoid warnings about undefined functions
|
|
|
434 when you know the function actually exists.
|
|
|
435 -- use `if-boundp', `when-boundp', `declare-boundp', `with-boundp', or
|
|
|
436 `globally-declare-boundp' to avoid warnings about undefined variables
|
|
|
437 when you know the variable actually exists.
|
|
502
|
438 -- use `with-obsolete-variable' or `with-obsolete-function' if you
|
|
|
439 are purposely using such a variable or function."
|
|
|
440 `(with-byte-compiler-warnings-suppressed-1 ,type ,@body))
|
|
|
441
|
|
|
442 ;; #### These should be more clever. You could (e.g.) try fletting
|
|
|
443 ;; `byte-compile-obsolete' or temporarily removing the obsolete info
|
|
|
444 ;; from the symbol and putting it back with an unwind-protect. (Or
|
|
|
445 ;; better, modify the byte-compiler to provide a proper solution, and
|
|
|
446 ;; fix these macros to use it if available, or fall back on the way
|
|
|
447 ;; below. Remember, these definitions need to work with an unchanged
|
|
|
448 ;; byte compiler so that they can be copied and used in packages.)
|
|
|
449
|
|
|
450 (put 'with-obsolete-variable 'lisp-indent-function 1)
|
|
|
451 (defmacro with-obsolete-variable (symbol &rest body)
|
|
|
452 "Evaluate BODY but do not warn about usage of obsolete variable SYMBOL.
|
|
|
453 SYMBOL must be quoted. See also `with-obsolete-function'."
|
|
|
454 `(with-byte-compiler-warnings-suppressed 'obsolete ,@body))
|
|
|
455
|
|
|
456 (put 'with-obsolete-function 'lisp-indent-function 1)
|
|
|
457 (defmacro with-obsolete-function (symbol &rest body)
|
|
|
458 "Evaluate BODY but do not warn about usage of obsolete function SYMBOL.
|
|
|
459 SYMBOL must be quoted. See also `with-obsolete-variable'."
|
|
|
460 `(with-byte-compiler-warnings-suppressed 'obsolete ,@body))
|
|
428
|
461
|
|
|
462
|
|
|
463 ;;; Interface to file-local byte-compiler parameters.
|
|
|
464 ;;; Redefined in bytecomp.el.
|
|
|
465
|
|
|
466 ;;; The great RMS speaketh:
|
|
|
467 ;;;
|
|
|
468 ;;; I nuked this because it's not a good idea for users to think of
|
|
|
469 ;;; using it. These options are a matter of installation preference,
|
|
|
470 ;;; and have nothing to do with particular source files; it's a
|
|
|
471 ;;; mistake to suggest to users that they should associate these with
|
|
|
472 ;;; particular source files. There is hardly any reason to change
|
|
|
473 ;;; these parameters, anyway. --rms.
|
|
|
474 ;;;
|
|
|
475 ;;; But I'll leave this stuff alone. --ben
|
|
|
476
|
|
|
477 (put 'byte-compiler-options 'lisp-indent-hook 0)
|
|
|
478 (defmacro byte-compiler-options (&rest args)
|
|
|
479 "Set some compilation-parameters for this file.
|
|
|
480 This will affect only the file in which it appears; this does nothing when
|
|
|
481 evaluated, or when loaded from a .el file.
|
|
|
482
|
|
|
483 Each argument to this macro must be a list of a key and a value.
|
|
|
484
|
|
|
485 Keys: Values: Corresponding variable:
|
|
|
486
|
|
|
487 verbose t, nil byte-compile-verbose
|
|
|
488 optimize t, nil, source, byte byte-optimize
|
|
|
489 warnings list of warnings byte-compile-warnings
|
|
|
490 file-format emacs19, emacs20 byte-compile-emacs19-compatibility
|
|
|
491
|
|
|
492 The value specified with the `warnings' option must be a list, containing
|
|
|
493 some subset of the following flags:
|
|
|
494
|
|
|
495 free-vars references to variables not in the current lexical scope.
|
|
|
496 unused-vars references to non-global variables bound but not referenced.
|
|
|
497 unresolved calls to unknown functions.
|
|
|
498 callargs lambda calls with args that don't match the definition.
|
|
502
|
499 subr-callargs calls to subrs with args that don't match the definition.
|
|
428
|
500 redefine function cell redefined from a macro to a lambda or vice
|
|
|
501 versa, or redefined to take a different number of arguments.
|
|
502
|
502 obsolete use of an obsolete function or variable.
|
|
|
503 pedantic warn of use of compatible symbols.
|
|
428
|
504
|
|
|
505 If the first element if the list is `+' or `-' then the specified elements
|
|
|
506 are added to or removed from the current set of warnings, instead of the
|
|
|
507 entire set of warnings being overwritten.
|
|
|
508
|
|
|
509 For example, something like this might appear at the top of a source file:
|
|
|
510
|
|
|
511 (byte-compiler-options
|
|
|
512 (optimize t)
|
|
|
513 (warnings (- callargs)) ; Don't warn about arglist mismatch
|
|
|
514 (warnings (+ unused-vars)) ; Do warn about unused bindings
|
|
|
515 (file-format emacs19))"
|
|
|
516 nil)
|
|
|
517
|
|
|
518 ;;; bytecomp-runtime.el ends here
|
