annotate doc/lispintro/lambda-1.pdf @ 110305:b10051866f51

New syntax-propertize functionality. * lisp/font-lock.el (font-lock-syntactic-keywords): Make obsolete. (font-lock-fontify-syntactic-keywords-region): Move handling of font-lock-syntactically-fontified to... (font-lock-default-fontify-region): ...here. Let syntax-propertize-function take precedence. (font-lock-fontify-syntactically-region): Cal syntax-propertize. * lisp/emacs-lisp/regexp-opt.el (regexp-opt-depth): Skip named groups. * lisp/emacs-lisp/syntax.el (syntax-propertize-function) (syntax-propertize-chunk-size, syntax-propertize--done) (syntax-propertize-extend-region-functions): New vars. (syntax-propertize-wholelines, syntax-propertize-multiline) (syntax-propertize--shift-groups, syntax-propertize-via-font-lock) (syntax-propertize): New functions. (syntax-propertize-rules): New macro. (syntax-ppss-flush-cache): Set syntax-propertize--done. (syntax-ppss): Call syntax-propertize. * lisp/progmodes/ada-mode.el (ada-set-syntax-table-properties) (ada-after-change-function, ada-initialize-syntax-table-properties) (ada-handle-syntax-table-properties): Only define when syntax-propertize is not available. (ada-mode): Use syntax-propertize-function. * lisp/progmodes/autoconf.el (autoconf-mode): Use syntax-propertize-function. (autoconf-font-lock-syntactic-keywords): Remove. * lisp/progmodes/cfengine.el (cfengine-mode): Use syntax-propertize-function. (cfengine-font-lock-syntactic-keywords): Remove. * lisp/progmodes/cperl-mode.el (cperl-mode): Use syntax-propertize-function. * lisp/progmodes/fortran.el (fortran-mode): Use syntax-propertize-function. (fortran--font-lock-syntactic-keywords): New var. (fortran-line-length): Update syntax-propertize-function and fortran--font-lock-syntactic-keywords. * lisp/progmodes/gud.el (gdb-script-syntax-propertize-function): New var; replaces gdb-script-font-lock-syntactic-keywords. (gdb-script-mode): Use it. * lisp/progmodes/js.el (js--regexp-literal): Define while compiling. (js-syntax-propertize-function): New var; replaces js-font-lock-syntactic-keywords. (js-mode): Use it. * lisp/progmodes/make-mode.el (makefile-syntax-propertize-function): New var; replaces makefile-font-lock-syntactic-keywords. (makefile-mode): Use it. (makefile-imake-mode): Adjust. * lisp/progmodes/mixal-mode.el (mixal-syntax-propertize-function): New var; replaces mixal-font-lock-syntactic-keywords. (mixal-mode): Use it. * lisp/progmodes/octave-mod.el (octave-syntax-propertize-sqs): New function to replace octave-font-lock-close-quotes. (octave-syntax-propertize-function): New function to replace octave-font-lock-syntactic-keywords. (octave-mode): Use it. * lisp/progmodes/perl-mode.el (perl-syntax-propertize-function): New fun to replace perl-font-lock-syntactic-keywords. (perl-syntax-propertize-special-constructs): New fun to replace perl-font-lock-special-syntactic-constructs. (perl-font-lock-syntactic-face-function): New fun. (perl-mode): Use it. * lisp/progmodes/python.el (python-syntax-propertize-function): New var to replace python-font-lock-syntactic-keywords. (python-mode): Use it. (python-quote-syntax): Simplify and adjust to new use. * lisp/progmodes/ruby-mode.el (ruby-here-doc-beg-re): Define while compiling. (ruby-here-doc-end-re, ruby-here-doc-beg-match) (ruby-font-lock-syntactic-keywords, ruby-comment-beg-syntax) (syntax-ppss, ruby-in-ppss-context-p, ruby-in-here-doc-p) (ruby-here-doc-find-end, ruby-here-doc-beg-syntax) (ruby-here-doc-end-syntax): Only define when syntax-propertize is not available. (ruby-syntax-propertize-function, ruby-syntax-propertize-heredoc): New functions. (ruby-in-ppss-context-p): Update to new syntax of heredocs. (electric-indent-chars): Silence bytecompiler. (ruby-mode): Use prog-mode, syntax-propertize-function, and electric-indent-chars. * lisp/progmodes/sh-script.el (sh-st-symbol): Remove. (sh-font-lock-close-heredoc, sh-font-lock-open-heredoc): Add eol arg. (sh-font-lock-flush-syntax-ppss-cache, sh-font-lock-here-doc): Remove. (sh-font-lock-quoted-subshell): Assume we've already matched $(. (sh-font-lock-paren): Set syntax-multiline. (sh-font-lock-syntactic-keywords): Remove. (sh-syntax-propertize-function): New function to replace it. (sh-mode): Use it. * lisp/progmodes/simula.el (simula-syntax-propertize-function): New var to replace simula-font-lock-syntactic-keywords. (simula-mode): Use it. * lisp/progmodes/tcl.el (tcl-syntax-propertize-function): New var to replace tcl-font-lock-syntactic-keywords. (tcl-mode): Use it. * lisp/progmodes/vhdl-mode.el (vhdl-mode): Use syntax-propertize-function if available. (vhdl-fontify-buffer): Adjust. * lisp/textmodes/bibtex.el (bibtex-mode): Use syntax-propertize-function. * lisp/textmodes/reftex.el (font-lock-syntactic-keywords): Don't declare since we don't use it. * lisp/textmodes/sgml-mode.el (sgml-syntax-propertize-function): New var to replace sgml-font-lock-syntactic-keywords. (sgml-mode): Use it. * lisp/textmodes/tex-mode.el (tex-common-initialization, doctex-mode): Use syntax-propertize-function. * lisp/textmodes/texinfo.el (texinfo-syntax-propertize-function): New fun to replace texinfo-font-lock-syntactic-keywords. (texinfo-mode): Use it. * test/indent/octave.m: Remove some `fixindent' not needed any more.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Sat, 11 Sep 2010 01:13:42 +0200
parents e6fd7e0d6dd5
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
105774
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1 %PDF-1.3
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
2 %쏢
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
3 5 0 obj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
4 <</Length 6 0 R/Filter /FlateDecode>>
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
5 stream
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
6 xPMk0 WYr<;vۺg횴Gu!KI#JA([r`s/!8M\RBGjg YhT.c7}_SuzT4u{xv-%HhX2=pXVbZ$w II%s! 7M>5"nHX{G!RVujAU3V(3GR}9?}Vp|6!tٌ-xuVendstream
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
7 endobj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
8 6 0 obj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
9 236
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
10 endobj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
11 4 0 obj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
12 <</Type/Page/MediaBox [0 0 140 49]
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
13 /Parent 3 0 R
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
14 /Resources<</ProcSet[/PDF /Text]
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
15 /ExtGState 9 0 R
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
16 /Font 10 0 R
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
17 >>
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
18 /Contents 5 0 R
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
19 >>
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
20 endobj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
21 3 0 obj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
22 << /Type /Pages /Kids [
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
23 4 0 R
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
24 ] /Count 1
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
25 >>
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
26 endobj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
27 1 0 obj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
28 <</Type /Catalog /Pages 3 0 R
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
29 >>
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
30 endobj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
31 7 0 obj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
32 <</Type/ExtGState
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
33 /OPM 1>>endobj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
34 9 0 obj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
35 <</R7
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
36 7 0 R>>
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
37 endobj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
38 10 0 obj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
39 <</R8
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
40 8 0 R>>
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
41 endobj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
42 8 0 obj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
43 <</BaseFont/Courier/Type/Font
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
44 /Subtype/Type1>>
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
45 endobj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
46 2 0 obj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
47 <</Producer(ESP Ghostscript 815.02)
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
48 /CreationDate(D:20091026183417)
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
49 /ModDate(D:20091026183417)>>endobj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
50 xref
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
51 0 11
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
52 0000000000 65535 f
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
53 0000000548 00000 n
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
54 0000000758 00000 n
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
55 0000000489 00000 n
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
56 0000000340 00000 n
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
57 0000000015 00000 n
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
58 0000000321 00000 n
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
59 0000000596 00000 n
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
60 0000000696 00000 n
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
61 0000000637 00000 n
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
62 0000000666 00000 n
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
63 trailer
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
64 << /Size 11 /Root 1 0 R /Info 2 0 R
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
65 /ID [(4@7mbW9)(4@7mbW9)]
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
66 >>
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
67 startxref
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
68 869
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf.
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
69 %%EOF