mirror of
git://git.sv.gnu.org/emacs.git
synced 2025-12-24 06:20:43 -08:00
Use declare' in lambda' and mis minor changes.
* lisp/subr.el (lambda): Use declare. * lisp/emacs-lisp/lisp-mode.el (lambda): * lisp/emacs-lisp/edebug.el (lambda): Move properties to its definition. * lisp/gnus/legacy-gnus-agent.el (gnus-agent-unhook-expire-days): * lisp/gnus/gnus-demon.el (gnus-demon-init): Don't bother with type-of.
This commit is contained in:
parent
53a63be64d
commit
a179e3f7b4
9 changed files with 34 additions and 24 deletions
|
|
@ -2010,12 +2010,6 @@ expressions; a `progn' form will be returned enclosing these forms."
|
|||
;; A macro is allowed by Emacs.
|
||||
(def-edebug-spec function (&or symbolp lambda-expr))
|
||||
|
||||
;; lambda is a macro in emacs 19.
|
||||
(def-edebug-spec lambda (&define lambda-list
|
||||
[&optional stringp]
|
||||
[&optional ("interactive" interactive)]
|
||||
def-body))
|
||||
|
||||
;; A macro expression is a lambda expression with "macro" prepended.
|
||||
(def-edebug-spec macro (&define "lambda" lambda-list def-body))
|
||||
|
||||
|
|
|
|||
|
|
@ -140,7 +140,6 @@ It has `lisp-mode-abbrev-table' as its parent."
|
|||
(put 'defvar 'doc-string-elt 3)
|
||||
(put 'defconst 'doc-string-elt 3)
|
||||
(put 'defmacro 'doc-string-elt 3)
|
||||
(put 'lambda 'doc-string-elt 2)
|
||||
(put 'defalias 'doc-string-elt 3)
|
||||
(put 'defvaralias 'doc-string-elt 3)
|
||||
(put 'define-category 'doc-string-elt 2)
|
||||
|
|
@ -1213,7 +1212,6 @@ Lisp function does not specify a special indentation."
|
|||
;; like defun if the first form is placed on the next line, otherwise
|
||||
;; it is indented like any other form (i.e. forms line up under first).
|
||||
|
||||
(put 'lambda 'lisp-indent-function 'defun)
|
||||
(put 'autoload 'lisp-indent-function 'defun)
|
||||
(put 'progn 'lisp-indent-function 0)
|
||||
(put 'prog1 'lisp-indent-function 1)
|
||||
|
|
|
|||
|
|
@ -39,12 +39,15 @@
|
|||
;; - along these lines, provide patterns to match CL structs.
|
||||
;; - provide something like (setq VAR) so a var can be set rather than
|
||||
;; let-bound.
|
||||
;; - provide a way to fallthrough to subsequent cases.
|
||||
;; - provide a way to fallthrough to subsequent cases (not sure what I meant by
|
||||
;; this :-()
|
||||
;; - try and be more clever to reduce the size of the decision tree, and
|
||||
;; to reduce the number of leaves that need to be turned into function:
|
||||
;; - first, do the tests shared by all remaining branches (it will have
|
||||
;; to be performed anyway, so better so it first so it's shared).
|
||||
;; to be performed anyway, so better do it first so it's shared).
|
||||
;; - then choose the test that discriminates more (?).
|
||||
;; - provide Agda's `with' (along with its `...' companion).
|
||||
;; - implement (not UPAT). This might require a significant redesign.
|
||||
;; - ideally we'd want (pcase s ((re RE1) E1) ((re RE2) E2)) to be able to
|
||||
;; generate a lex-style DFA to decide whether to run E1 or E2.
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue