annotate lisp/emacs-lisp/backquote.el @ 78638:a5611e4218bf

(backquote-unquote-symbol, backquote-splice-symbol): Backslash the , and ,@ which are not new-style unquotes.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Thu, 23 Aug 2007 18:39:20 +0000
parents eb7052b9d8b1
children 78ee6fae0e41 fb6683560bac b83d0dadb2a7
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
15261
bd56cdc4d07b Fixed up initial line
Erik Naggum <erik@naggum.no>
parents: 14169
diff changeset
1 ;;; backquote.el --- implement the ` Lisp construct
14169
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 13337
diff changeset
2
64751
5b1a238fcbb4 Update years in copyright notice; nfc.
Thien-Thi Nguyen <ttn@gnuvola.org>
parents: 64085
diff changeset
3 ;; Copyright (C) 1990, 1992, 1994, 2001, 2002, 2003, 2004,
75346
7a3f13e2dd57 Add 2007 to copyright years.
Glenn Morris <rgm@gnu.org>
parents: 68648
diff changeset
4 ;; 2005, 2006, 2007 Free Software Foundation, Inc.
845
213978acbc1e entered into RCS
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 811
diff changeset
5
6223
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
6 ;; Author: Rick Sladkey <jrs@world.std.com>
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
7 ;; Maintainer: FSF
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
8 ;; Keywords: extensions, internal
807
4f28bd14272c *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 662
diff changeset
9
13337
84acc3adcd63 Comment change.
Richard M. Stallman <rms@gnu.org>
parents: 12606
diff changeset
10 ;; This file is part of GNU Emacs.
181
a587d037d637 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
11
a587d037d637 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
12 ;; GNU Emacs is free software; you can redistribute it and/or modify
a587d037d637 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
13 ;; it under the terms of the GNU General Public License as published by
78217
935157c0b596 Switch license to GPLv3 or later.
Glenn Morris <rgm@gnu.org>
parents: 75346
diff changeset
14 ;; the Free Software Foundation; either version 3, or (at your option)
181
a587d037d637 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
15 ;; any later version.
a587d037d637 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
16
a587d037d637 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
17 ;; GNU Emacs is distributed in the hope that it will be useful,
a587d037d637 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
18 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
a587d037d637 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
19 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
a587d037d637 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
20 ;; GNU General Public License for more details.
a587d037d637 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
21
a587d037d637 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
22 ;; You should have received a copy of the GNU General Public License
14169
83f275dcd93a Update FSF's address.
Erik Naggum <erik@naggum.no>
parents: 13337
diff changeset
23 ;; along with GNU Emacs; see the file COPYING. If not, write to the
64085
18a818a2ee7c Update FSF's address.
Lute Kamstra <lute@gnu.org>
parents: 54494
diff changeset
24 ;; Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
18a818a2ee7c Update FSF's address.
Lute Kamstra <lute@gnu.org>
parents: 54494
diff changeset
25 ;; Boston, MA 02110-1301, USA.
181
a587d037d637 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
26
13337
84acc3adcd63 Comment change.
Richard M. Stallman <rms@gnu.org>
parents: 12606
diff changeset
27 ;;; Commentary:
181
a587d037d637 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
28
48172
ce9e21650e0c Comment change.
Richard M. Stallman <rms@gnu.org>
parents: 39085
diff changeset
29 ;; When the Lisp reader sees `(...), it generates (\` (...)).
ce9e21650e0c Comment change.
Richard M. Stallman <rms@gnu.org>
parents: 39085
diff changeset
30 ;; When it sees ,... inside such a backquote form, it generates (\, ...).
ce9e21650e0c Comment change.
Richard M. Stallman <rms@gnu.org>
parents: 39085
diff changeset
31 ;; For ,@... it generates (\,@ ...).
ce9e21650e0c Comment change.
Richard M. Stallman <rms@gnu.org>
parents: 39085
diff changeset
32
6224
a27c028e757a (backquote-listify): Renamed from bq-listify.
Richard M. Stallman <rms@gnu.org>
parents: 6223
diff changeset
33 ;; This backquote will generate calls to the backquote-list* form.
6223
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
34 ;; Both a function version and a macro version are included.
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
35 ;; The macro version is used by default because it is faster
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
36 ;; and needs no run-time support. It should really be a subr.
181
a587d037d637 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
37
807
4f28bd14272c *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 662
diff changeset
38 ;;; Code:
181
a587d037d637 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
39
584
4cd7543be581 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 340
diff changeset
40 (provide 'backquote)
4cd7543be581 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 340
diff changeset
41
6224
a27c028e757a (backquote-listify): Renamed from bq-listify.
Richard M. Stallman <rms@gnu.org>
parents: 6223
diff changeset
42 ;; function and macro versions of backquote-list*
6223
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
43
6224
a27c028e757a (backquote-listify): Renamed from bq-listify.
Richard M. Stallman <rms@gnu.org>
parents: 6223
diff changeset
44 (defun backquote-list*-function (first &rest list)
6223
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
45 "Like `list' but the last argument is the tail of the new list.
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
46
6224
a27c028e757a (backquote-listify): Renamed from bq-listify.
Richard M. Stallman <rms@gnu.org>
parents: 6223
diff changeset
47 For example (backquote-list* 'a 'b 'c) => (a b . c)"
54494
3c18d4160cc6 (backquote-list*-macro): Use nreverse.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
48 ;; The recursive solution is much nicer:
3c18d4160cc6 (backquote-list*-macro): Use nreverse.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
49 ;; (if list (cons first (apply 'backquote-list*-function list)) first))
3c18d4160cc6 (backquote-list*-macro): Use nreverse.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
50 ;; but Emacs is not very good at efficiently processing recursion.
6223
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
51 (if list
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
52 (let* ((rest list) (newlist (cons first nil)) (last newlist))
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
53 (while (cdr rest)
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
54 (setcdr last (cons (car rest) nil))
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
55 (setq last (cdr last)
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
56 rest (cdr rest)))
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
57 (setcdr last (car rest))
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
58 newlist)
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
59 first))
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
60
6224
a27c028e757a (backquote-listify): Renamed from bq-listify.
Richard M. Stallman <rms@gnu.org>
parents: 6223
diff changeset
61 (defmacro backquote-list*-macro (first &rest list)
a27c028e757a (backquote-listify): Renamed from bq-listify.
Richard M. Stallman <rms@gnu.org>
parents: 6223
diff changeset
62 "Like `list' but the last argument is the tail of the new list.
6223
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
63
6224
a27c028e757a (backquote-listify): Renamed from bq-listify.
Richard M. Stallman <rms@gnu.org>
parents: 6223
diff changeset
64 For example (backquote-list* 'a 'b 'c) => (a b . c)"
54494
3c18d4160cc6 (backquote-list*-macro): Use nreverse.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
65 ;; The recursive solution is much nicer:
3c18d4160cc6 (backquote-list*-macro): Use nreverse.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
66 ;; (if list (list 'cons first (cons 'backquote-list*-macro list)) first))
3c18d4160cc6 (backquote-list*-macro): Use nreverse.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
67 ;; but Emacs is not very good at efficiently processing such things.
3c18d4160cc6 (backquote-list*-macro): Use nreverse.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 52401
diff changeset
68 (setq list (nreverse (cons first list))
6223
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
69 first (car list)
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
70 list (cdr list))
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
71 (if list
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
72 (let* ((second (car list))
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
73 (rest (cdr list))
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
74 (newlist (list 'cons second first)))
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
75 (while rest
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
76 (setq newlist (list 'cons (car rest) newlist)
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
77 rest (cdr rest)))
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
78 newlist)
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
79 first))
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
80
7369
cc6d237a7c7e (backquote-backquote-symbol): Don't autoload defvar.
Richard M. Stallman <rms@gnu.org>
parents: 7299
diff changeset
81 (defalias 'backquote-list* (symbol-function 'backquote-list*-macro))
6223
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
82
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
83 ;; A few advertised variables that control which symbols are used
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
84 ;; to represent the backquote, unquote, and splice operations.
27243
069b39c07c8d Remove inappropriate customization (allowing custom.el to use
Dave Love <fx@gnu.org>
parents: 21365
diff changeset
85 (defconst backquote-backquote-symbol '\`
39085
97bb42866d17 (backquote-backquote-symbol)
Gerd Moellmann <gerd@gnu.org>
parents: 38412
diff changeset
86 "Symbol used to represent a backquote or nested backquote.")
6223
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
87
78638
a5611e4218bf (backquote-unquote-symbol, backquote-splice-symbol):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 78603
diff changeset
88 (defconst backquote-unquote-symbol '\,
39085
97bb42866d17 (backquote-backquote-symbol)
Gerd Moellmann <gerd@gnu.org>
parents: 38412
diff changeset
89 "Symbol used to represent an unquote inside a backquote.")
6223
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
90
78638
a5611e4218bf (backquote-unquote-symbol, backquote-splice-symbol):
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 78603
diff changeset
91 (defconst backquote-splice-symbol '\,@
39085
97bb42866d17 (backquote-backquote-symbol)
Gerd Moellmann <gerd@gnu.org>
parents: 38412
diff changeset
92 "Symbol used to represent a splice inside a backquote.")
6223
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
93
7299
44c38d99d3c4 (backquote): Add autoloads.
Richard M. Stallman <rms@gnu.org>
parents: 7298
diff changeset
94 ;;;###autoload
6223
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
95 (defmacro backquote (arg)
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
96 "Argument STRUCTURE describes a template to build.
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
97
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
98 The whole structure acts as if it were quoted except for certain
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
99 places where expressions are evaluated and inserted or spliced in.
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
100
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
101 For example:
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
102
11687
14c5ed91e3d0 ('\`): Use backslash for reading the backquote.
Richard M. Stallman <rms@gnu.org>
parents: 8209
diff changeset
103 b => (ba bb bc) ; assume b has this value
14c5ed91e3d0 ('\`): Use backslash for reading the backquote.
Richard M. Stallman <rms@gnu.org>
parents: 8209
diff changeset
104 `(a b c) => (a b c) ; backquote acts like quote
12606
410385a28fb8 (backquote): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents: 12244
diff changeset
105 `(a ,b c) => (a (ba bb bc) c) ; insert the value of b
410385a28fb8 (backquote): Doc fix.
Richard M. Stallman <rms@gnu.org>
parents: 12244
diff changeset
106 `(a ,@b c) => (a ba bb bc c) ; splice in the value of b
6223
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
107
6224
a27c028e757a (backquote-listify): Renamed from bq-listify.
Richard M. Stallman <rms@gnu.org>
parents: 6223
diff changeset
108 Vectors work just like lists. Nested backquotes are permitted."
a27c028e757a (backquote-listify): Renamed from bq-listify.
Richard M. Stallman <rms@gnu.org>
parents: 6223
diff changeset
109 (cdr (backquote-process arg)))
6223
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
110
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
111 ;; GNU Emacs has no reader macros
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
112
7299
44c38d99d3c4 (backquote): Add autoloads.
Richard M. Stallman <rms@gnu.org>
parents: 7298
diff changeset
113 ;;;###autoload
11687
14c5ed91e3d0 ('\`): Use backslash for reading the backquote.
Richard M. Stallman <rms@gnu.org>
parents: 8209
diff changeset
114 (defalias '\` (symbol-function 'backquote))
6223
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
115
6224
a27c028e757a (backquote-listify): Renamed from bq-listify.
Richard M. Stallman <rms@gnu.org>
parents: 6223
diff changeset
116 ;; backquote-process returns a dotted-pair of a tag (0, 1, or 2) and
6223
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
117 ;; the backquote-processed structure. 0 => the structure is
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
118 ;; constant, 1 => to be unquoted, 2 => to be spliced in.
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
119 ;; The top-level backquote macro just discards the tag.
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
120
78522
d471cb9c486c (backquote-delay-process): New function.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 78217
diff changeset
121 (defun backquote-delay-process (s level)
d471cb9c486c (backquote-delay-process): New function.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 78217
diff changeset
122 "Process a (un|back|splice)quote inside a backquote.
d471cb9c486c (backquote-delay-process): New function.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 78217
diff changeset
123 This simply recurses through the body."
78603
eb7052b9d8b1 (backquote-delay-process): Fix last change.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 78522
diff changeset
124 (let ((exp (backquote-listify (list (cons 0 (list 'quote (car s))))
eb7052b9d8b1 (backquote-delay-process): Fix last change.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 78522
diff changeset
125 (backquote-process (cdr s) level))))
78522
d471cb9c486c (backquote-delay-process): New function.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 78217
diff changeset
126 (if (eq (car-safe exp) 'quote)
d471cb9c486c (backquote-delay-process): New function.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 78217
diff changeset
127 (cons 0 (list 'quote s))
d471cb9c486c (backquote-delay-process): New function.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 78217
diff changeset
128 (cons 1 exp))))
d471cb9c486c (backquote-delay-process): New function.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 78217
diff changeset
129
d471cb9c486c (backquote-delay-process): New function.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 78217
diff changeset
130 (defun backquote-process (s &optional level)
d471cb9c486c (backquote-delay-process): New function.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 78217
diff changeset
131 "Process the body of a backquote.
d471cb9c486c (backquote-delay-process): New function.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 78217
diff changeset
132 S is the body. Returns a cons cell whose cdr is piece of code which
d471cb9c486c (backquote-delay-process): New function.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 78217
diff changeset
133 is the macro-expansion of S, and whose car is a small integer whose value
d471cb9c486c (backquote-delay-process): New function.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 78217
diff changeset
134 can either indicate that the code is constant (0), or not (1), or returns
d471cb9c486c (backquote-delay-process): New function.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 78217
diff changeset
135 a list which should be spliced into its environment (2).
d471cb9c486c (backquote-delay-process): New function.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 78217
diff changeset
136 LEVEL is only used internally and indicates the nesting level:
d471cb9c486c (backquote-delay-process): New function.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 78217
diff changeset
137 0 (the default) is for the toplevel nested inside a single backquote."
d471cb9c486c (backquote-delay-process): New function.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 78217
diff changeset
138 (unless level (setq level 0))
6223
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
139 (cond
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
140 ((vectorp s)
78522
d471cb9c486c (backquote-delay-process): New function.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 78217
diff changeset
141 (let ((n (backquote-process (append s ()) level)))
6223
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
142 (if (= (car n) 0)
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
143 (cons 0 s)
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
144 (cons 1 (cond
38028
a5aad5623acc (backquote-process): Handle `[,@SYMBOL].
Richard M. Stallman <rms@gnu.org>
parents: 27243
diff changeset
145 ((not (listp (cdr n)))
a5aad5623acc (backquote-process): Handle `[,@SYMBOL].
Richard M. Stallman <rms@gnu.org>
parents: 27243
diff changeset
146 (list 'vconcat (cdr n)))
6223
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
147 ((eq (nth 1 n) 'list)
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
148 (cons 'vector (nthcdr 2 n)))
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
149 ((eq (nth 1 n) 'append)
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
150 (cons 'vconcat (nthcdr 2 n)))
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
151 (t
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
152 (list 'apply '(function vector) (cdr n))))))))
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
153 ((atom s)
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
154 (cons 0 (if (or (null s) (eq s t) (not (symbolp s)))
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
155 s
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
156 (list 'quote s))))
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
157 ((eq (car s) backquote-unquote-symbol)
78522
d471cb9c486c (backquote-delay-process): New function.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 78217
diff changeset
158 (if (<= level 0)
d471cb9c486c (backquote-delay-process): New function.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 78217
diff changeset
159 (cons 1 (nth 1 s))
d471cb9c486c (backquote-delay-process): New function.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 78217
diff changeset
160 (backquote-delay-process s (1- level))))
6223
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
161 ((eq (car s) backquote-splice-symbol)
78522
d471cb9c486c (backquote-delay-process): New function.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 78217
diff changeset
162 (if (<= level 0)
d471cb9c486c (backquote-delay-process): New function.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 78217
diff changeset
163 (cons 2 (nth 1 s))
d471cb9c486c (backquote-delay-process): New function.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 78217
diff changeset
164 (backquote-delay-process s (1- level))))
6223
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
165 ((eq (car s) backquote-backquote-symbol)
78522
d471cb9c486c (backquote-delay-process): New function.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 78217
diff changeset
166 (backquote-delay-process s (1+ level)))
6223
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
167 (t
6835
922626d0570d (backquote-process): Don't crash if ultimate
Richard M. Stallman <rms@gnu.org>
parents: 6224
diff changeset
168 (let ((rest s)
922626d0570d (backquote-process): Don't crash if ultimate
Richard M. Stallman <rms@gnu.org>
parents: 6224
diff changeset
169 item firstlist list lists expression)
922626d0570d (backquote-process): Don't crash if ultimate
Richard M. Stallman <rms@gnu.org>
parents: 6224
diff changeset
170 ;; Scan this list-level, setting LISTS to a list of forms,
922626d0570d (backquote-process): Don't crash if ultimate
Richard M. Stallman <rms@gnu.org>
parents: 6224
diff changeset
171 ;; each of which produces a list of elements
922626d0570d (backquote-process): Don't crash if ultimate
Richard M. Stallman <rms@gnu.org>
parents: 6224
diff changeset
172 ;; that should go in this level.
49598
0d8b17d428b5 Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents: 48172
diff changeset
173 ;; The order of LISTS is backwards.
6835
922626d0570d (backquote-process): Don't crash if ultimate
Richard M. Stallman <rms@gnu.org>
parents: 6224
diff changeset
174 ;; If there are non-splicing elements (constant or variable)
922626d0570d (backquote-process): Don't crash if ultimate
Richard M. Stallman <rms@gnu.org>
parents: 6224
diff changeset
175 ;; at the beginning, put them in FIRSTLIST,
922626d0570d (backquote-process): Don't crash if ultimate
Richard M. Stallman <rms@gnu.org>
parents: 6224
diff changeset
176 ;; as a list of tagged values (TAG . FORM).
922626d0570d (backquote-process): Don't crash if ultimate
Richard M. Stallman <rms@gnu.org>
parents: 6224
diff changeset
177 ;; If there are any at the end, they go in LIST, likewise.
78522
d471cb9c486c (backquote-delay-process): New function.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 78217
diff changeset
178 (while (and (consp rest)
d471cb9c486c (backquote-delay-process): New function.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 78217
diff changeset
179 ;; Stop if the cdr is an expression inside a backquote or
d471cb9c486c (backquote-delay-process): New function.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 78217
diff changeset
180 ;; unquote since this needs to go recursively through
d471cb9c486c (backquote-delay-process): New function.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 78217
diff changeset
181 ;; backquote-process.
d471cb9c486c (backquote-delay-process): New function.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 78217
diff changeset
182 (not (or (eq (car rest) backquote-unquote-symbol)
d471cb9c486c (backquote-delay-process): New function.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 78217
diff changeset
183 (eq (car rest) backquote-backquote-symbol))))
d471cb9c486c (backquote-delay-process): New function.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 78217
diff changeset
184 (setq item (backquote-process (car rest) level))
6223
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
185 (cond
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
186 ((= (car item) 2)
8007
5b6bbe9478b5 (backquote-process): Fix criterion for using FIRSTLIST.
Richard M. Stallman <rms@gnu.org>
parents: 7369
diff changeset
187 ;; Put the nonspliced items before the first spliced item
5b6bbe9478b5 (backquote-process): Fix criterion for using FIRSTLIST.
Richard M. Stallman <rms@gnu.org>
parents: 7369
diff changeset
188 ;; into FIRSTLIST.
5b6bbe9478b5 (backquote-process): Fix criterion for using FIRSTLIST.
Richard M. Stallman <rms@gnu.org>
parents: 7369
diff changeset
189 (if (null lists)
6223
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
190 (setq firstlist list
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
191 list nil))
8007
5b6bbe9478b5 (backquote-process): Fix criterion for using FIRSTLIST.
Richard M. Stallman <rms@gnu.org>
parents: 7369
diff changeset
192 ;; Otherwise, put any preceding nonspliced items into LISTS.
6223
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
193 (if list
78522
d471cb9c486c (backquote-delay-process): New function.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 78217
diff changeset
194 (push (backquote-listify list '(0 . nil)) lists))
d471cb9c486c (backquote-delay-process): New function.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 78217
diff changeset
195 (push (cdr item) lists)
6223
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
196 (setq list nil))
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
197 (t
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
198 (setq list (cons item list))))
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
199 (setq rest (cdr rest)))
6835
922626d0570d (backquote-process): Don't crash if ultimate
Richard M. Stallman <rms@gnu.org>
parents: 6224
diff changeset
200 ;; Handle nonsplicing final elements, and the tail of the list
922626d0570d (backquote-process): Don't crash if ultimate
Richard M. Stallman <rms@gnu.org>
parents: 6224
diff changeset
201 ;; (which remains in REST).
6223
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
202 (if (or rest list)
78522
d471cb9c486c (backquote-delay-process): New function.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 78217
diff changeset
203 (push (backquote-listify list (backquote-process rest level))
d471cb9c486c (backquote-delay-process): New function.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 78217
diff changeset
204 lists))
49598
0d8b17d428b5 Trailing whitepace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents: 48172
diff changeset
205 ;; Turn LISTS into a form that produces the combined list.
6835
922626d0570d (backquote-process): Don't crash if ultimate
Richard M. Stallman <rms@gnu.org>
parents: 6224
diff changeset
206 (setq expression
6223
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
207 (if (or (cdr lists)
6835
922626d0570d (backquote-process): Don't crash if ultimate
Richard M. Stallman <rms@gnu.org>
parents: 6224
diff changeset
208 (eq (car-safe (car lists)) backquote-splice-symbol))
6223
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
209 (cons 'append (nreverse lists))
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
210 (car lists)))
6835
922626d0570d (backquote-process): Don't crash if ultimate
Richard M. Stallman <rms@gnu.org>
parents: 6224
diff changeset
211 ;; Tack on any initial elements.
6223
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
212 (if firstlist
6835
922626d0570d (backquote-process): Don't crash if ultimate
Richard M. Stallman <rms@gnu.org>
parents: 6224
diff changeset
213 (setq expression (backquote-listify firstlist (cons 1 expression))))
922626d0570d (backquote-process): Don't crash if ultimate
Richard M. Stallman <rms@gnu.org>
parents: 6224
diff changeset
214 (if (eq (car-safe expression) 'quote)
6223
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
215 (cons 0 (list 'quote s))
6835
922626d0570d (backquote-process): Don't crash if ultimate
Richard M. Stallman <rms@gnu.org>
parents: 6224
diff changeset
216 (cons 1 expression))))))
6223
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
217
6224
a27c028e757a (backquote-listify): Renamed from bq-listify.
Richard M. Stallman <rms@gnu.org>
parents: 6223
diff changeset
218 ;; backquote-listify takes (tag . structure) pairs from backquote-process
a27c028e757a (backquote-listify): Renamed from bq-listify.
Richard M. Stallman <rms@gnu.org>
parents: 6223
diff changeset
219 ;; and decides between append, list, backquote-list*, and cons depending
6223
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
220 ;; on which tags are in the list.
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
221
6224
a27c028e757a (backquote-listify): Renamed from bq-listify.
Richard M. Stallman <rms@gnu.org>
parents: 6223
diff changeset
222 (defun backquote-listify (list old-tail)
6223
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
223 (let ((heads nil) (tail (cdr old-tail)) (list-tail list) (item nil))
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
224 (if (= (car old-tail) 0)
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
225 (setq tail (eval tail)
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
226 old-tail nil))
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
227 (while (consp list-tail)
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
228 (setq item (car list-tail))
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
229 (setq list-tail (cdr list-tail))
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
230 (if (or heads old-tail (/= (car item) 0))
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
231 (setq heads (cons (cdr item) heads))
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
232 (setq tail (cons (eval (cdr item)) tail))))
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
233 (cond
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
234 (tail
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
235 (if (null old-tail)
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
236 (setq tail (list 'quote tail)))
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
237 (if heads
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
238 (let ((use-list* (or (cdr heads)
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
239 (and (consp (car heads))
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
240 (eq (car (car heads))
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
241 backquote-splice-symbol)))))
6224
a27c028e757a (backquote-listify): Renamed from bq-listify.
Richard M. Stallman <rms@gnu.org>
parents: 6223
diff changeset
242 (cons (if use-list* 'backquote-list* 'cons)
6223
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
243 (append heads (list tail))))
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
244 tail))
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
245 (t (cons 'list heads)))))
de6afd5ec418 Complete rewrite by Sladkey.
Richard M. Stallman <rms@gnu.org>
parents: 3591
diff changeset
246
78522
d471cb9c486c (backquote-delay-process): New function.
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 78217
diff changeset
247 ;; arch-tag: 1a26206a-6b5e-4c56-8e24-2eef0f7e0e7a
38412
253f761ad37b Some fixes to follow coding conventions in files maintained by FSF.
Pavel Janík <Pavel@Janik.cz>
parents: 38028
diff changeset
248 ;;; backquote.el ends here