Mercurial > hg > xemacs-beta
comparison src/ChangeLog @ 4677:8f1ee2d15784
Support full Common Lisp multiple values in C.
lisp/ChangeLog
2009-08-11 Aidan Kehoe <kehoea@parhasard.net>
* bytecomp.el :
Update this file to support full C-level multiple values. This
involves:
-- Four new bytecodes, and special compiler functions to compile
multiple-value-call, multiple-value-list-internal, values,
values-list, and, since it now needs to pass back multiple values
and is a special form, throw.
-- There's a new compiler variable, byte-compile-checks-on-load,
which is a list of forms that are evaluated at the very start of a
file, with an error thrown if any of them give nil.
-- The header is now inserted *after* compilation, giving a chance
for the compilation process to influence what those checks
are. There is still a check done before compilation for non-ASCII
characters, to try to turn off dynamic docstrings if appopriate,
in `byte-compile-maybe-reset-coding'.
Space is reserved for checks; comments describing the version of
the byte compiler generating the file are inserted if space
remains for them.
* bytecomp.el (byte-compile-version):
Update this, we're a newer version of the byte compiler.
* byte-optimize.el (byte-optimize-funcall):
Correct a comment.
* bytecomp.el (byte-compile-lapcode):
Discard the arg with byte-multiple-value-call.
* bytecomp.el (byte-compile-checks-and-comments-space):
New variable, describe how many octets to reserve for checks at
the start of byte-compiled files.
* cl-compat.el:
Remove the fake multiple-value implementation. Have the functions
that use it use the real multiple-value implementation instead.
* cl-macs.el (cl-block-wrapper, cl-block-throw):
Revise the byte-compile properties of these symbols to work now
we've made throw into a special form; keep the byte-compile
properties as anonymous lambdas, since we don't have docstrings
for them.
* cl-macs.el (multiple-value-bind, multiple-value-setq)
(multiple-value-list, nth-value):
Update these functions to work with the C support for multiple
values.
* cl-macs.el (values):
Modify the setf handler for this to call
#'multiple-value-list-internal appropriately.
* cl-macs.el (cl-setf-do-store):
If the store form is a cons, treat it specially as wrapping the
store value.
* cl.el (cl-block-wrapper):
Make this an alias of #'and, not #'identity, since it needs to
pass back multiple values.
* cl.el (multiple-value-apply):
We no longer support this, mark it obsolete.
* lisp-mode.el (eval-interactive-verbose):
Remove a useless space in the docstring.
* lisp-mode.el (eval-interactive):
Update this function and its docstring. It now passes back a list,
basically wrapping any eval calls with multiple-value-list. This
allows multiple values to be printed by default in *scratch*.
* lisp-mode.el (prin1-list-as-multiple-values):
New function, printing a list as multiple values in the manner of
Bruno Haible's clisp, separating each entry with " ;\n".
* lisp-mode.el (eval-last-sexp):
Call #'prin1-list-as-multiple-values on the return value of
#'eval-interactive.
* lisp-mode.el (eval-defun):
Call #'prin1-list-as-multiple-values on the return value of
#'eval-interactive.
* mouse.el (mouse-eval-sexp):
Deal with lists corresponding to multiple values from
#'eval-interactive. Call #'cl-prettyprint, which is always
available, instead of sometimes calling #'pprint and sometimes
falling back to prin1.
* obsolete.el (obsolete-throw):
New function, called from eval.c when #'funcall encounters an
attempt to call #'throw (now a special form) as a function. Only
needed for compatibility with 21.4 byte-code.
man/ChangeLog addition:
2009-08-11 Aidan Kehoe <kehoea@parhasard.net>
* cl.texi (Organization):
Remove references to the obsolete multiple-value emulating code.
src/ChangeLog addition:
2009-08-11 Aidan Kehoe <kehoea@parhasard.net>
* bytecode.c (enum Opcode /* Byte codes */):
Add four new bytecodes, to deal with multiple values.
(POP_WITH_MULTIPLE_VALUES): New macro.
(POP): Modify this macro to ignore multiple values.
(DISCARD_PRESERVING_MULTIPLE_VALUES): New macro.
(DISCARD): Modify this macro to ignore multiple values.
(TOP_WITH_MULTIPLE_VALUES): New macro.
(TOP_ADDRESS): New macro.
(TOP): Modify this macro to ignore multiple values.
(TOP_LVALUE): New macro.
(Bcall): Ignore multiple values where appropriate.
(Breturn): Pass back multiple values.
(Bdup): Preserve multiple values.
Use TOP_LVALUE with most bytecodes that assign anything to
anything.
(Bbind_multiple_value_limits, Bmultiple_value_call,
Bmultiple_value_list_internal, Bthrow): Implement the new
bytecodes.
(Bgotoifnilelsepop, Bgotoifnonnilelsepop, BRgotoifnilelsepop,
BRgotoifnonnilelsepop):
Discard any multiple values.
* callint.c (Fcall_interactively):
Ignore multiple values when calling #'eval, in two places.
* device-x.c (x_IO_error_handler):
* macros.c (pop_kbd_macro_event):
* eval.c (Fsignal):
* eval.c (flagged_a_squirmer):
Call throw_or_bomb_out, not Fthrow, now that the latter is a
special form.
* eval.c:
Make Qthrow, Qobsolete_throw available as symbols.
Provide multiple_value_current_limit, multiple-values-limit (the
latter as specified by Common Lisp.
* eval.c (For):
Ignore multiple values when comparing with Qnil, but pass any
multiple values back for the last arg.
* eval.c (Fand):
Ditto.
* eval.c (Fif):
Ignore multiple values when examining the result of the
condition.
* eval.c (Fcond):
Ignore multiple values when comparing what the clauses give, but
pass them back if a clause gave non-nil.
* eval.c (Fprog2):
Never pass back multiple values.
* eval.c (FletX, Flet):
Ignore multiple when evaluating what exactly symbols should be
bound to.
* eval.c (Fwhile):
Ignore multiple values when evaluating the test.
* eval.c (Fsetq, Fdefvar, Fdefconst):
Ignore multiple values.
* eval.c (Fthrow):
Declare this as a special form; ignore multiple values for TAG,
preserve them for VALUE.
* eval.c (throw_or_bomb_out):
Make this available to other files, now Fthrow is a special form.
* eval.c (Feval):
Ignore multiple values when calling a compiled function, a
non-special-form subr, or a lambda expression.
* eval.c (Ffuncall):
If we attempt to call #'throw (now a special form) as a function,
don't error, call #'obsolete-throw instead.
* eval.c (make_multiple_value, multiple_value_aset)
(multiple_value_aref, print_multiple_value, mark_multiple_value)
(size_multiple_value):
Implement the multiple_value type. Add a long comment describing
our implementation.
* eval.c (bind_multiple_value_limits):
New function, used by the bytecode and by #'multiple-value-call,
#'multiple-value-list-internal.
* eval.c (multiple_value_call):
New function, used by the bytecode and #'multiple-value-call.
* eval.c (Fmultiple_value_call):
New special form.
* eval.c (multiple_value_list_internal):
New function, used by the byte code and
#'multiple-value-list-internal.
* eval.c (Fmultiple_value_list_internal, Fmultiple_value_prog1):
New special forms.
* eval.c (Fvalues, Fvalues_list):
New Lisp functions.
* eval.c (values2):
New function, for C code returning multiple values.
* eval.c (syms_of_eval):
Make our new Lisp functions and symbols available.
* eval.c (multiple-values-limit):
Make this available to Lisp.
* event-msw.c (dde_eval_string):
* event-stream.c (execute_help_form):
* glade.c (connector):
* glyphs-widget.c (glyph_instantiator_to_glyph):
* glyphs.c (evaluate_xpm_color_symbols):
* gui-x.c (wv_set_evalable_slot, button_item_to_widget_value):
* gui.c (gui_item_value, gui_item_display_flush_left):
* lread.c (check_if_suppressed):
* menubar-gtk.c (menu_convert, menu_descriptor_to_widget_1):
* menubar-msw.c (populate_menu_add_item):
* print.c (Fwith_output_to_temp_buffer):
* symbols.c (Fsetq_default):
Ignore multiple values when calling Feval.
* symeval.h:
Add the header declarations necessary for the multiple-values
implementation.
* inline.c:
#include symeval.h, now that it has some inline functions.
* lisp.h:
Update Fthrow's declaration. Make throw_or_bomb_out available to
all files.
* lrecord.h (enum lrecord_type):
Add the multiple_value type here.
author | Aidan Kehoe <kehoea@parhasard.net> |
---|---|
date | Sun, 16 Aug 2009 20:55:49 +0100 |
parents | cbe5d2169270 |
children | b5e1d4f6b66f |
comparison
equal
deleted
inserted
replaced
4676:e3feb329bda9 | 4677:8f1ee2d15784 |
---|---|
1 2009-08-11 Aidan Kehoe <kehoea@parhasard.net> | |
2 | |
3 * bytecode.c (enum Opcode /* Byte codes */): | |
4 Add four new bytecodes, to deal with multiple values. | |
5 (POP_WITH_MULTIPLE_VALUES): New macro. | |
6 (POP): Modify this macro to ignore multiple values. | |
7 (DISCARD_PRESERVING_MULTIPLE_VALUES): New macro. | |
8 (DISCARD): Modify this macro to ignore multiple values. | |
9 (TOP_WITH_MULTIPLE_VALUES): New macro. | |
10 (TOP_ADDRESS): New macro. | |
11 (TOP): Modify this macro to ignore multiple values. | |
12 (TOP_LVALUE): New macro. | |
13 (Bcall): Ignore multiple values where appropriate. | |
14 (Breturn): Pass back multiple values. | |
15 (Bdup): Preserve multiple values. | |
16 Use TOP_LVALUE with most bytecodes that assign anything to | |
17 anything. | |
18 (Bbind_multiple_value_limits, Bmultiple_value_call, | |
19 Bmultiple_value_list_internal, Bthrow): Implement the new | |
20 bytecodes. | |
21 (Bgotoifnilelsepop, Bgotoifnonnilelsepop, BRgotoifnilelsepop, | |
22 BRgotoifnonnilelsepop): | |
23 Discard any multiple values. | |
24 * callint.c (Fcall_interactively): | |
25 Ignore multiple values when calling #'eval, in two places. | |
26 * device-x.c (x_IO_error_handler): | |
27 * macros.c (pop_kbd_macro_event): | |
28 * eval.c (Fsignal): | |
29 * eval.c (flagged_a_squirmer): | |
30 Call throw_or_bomb_out, not Fthrow, now that the latter is a | |
31 special form. | |
32 * eval.c: | |
33 Make Qthrow, Qobsolete_throw available as symbols. | |
34 Provide multiple_value_current_limit, multiple-values-limit (the | |
35 latter as specified by Common Lisp. | |
36 * eval.c (For): | |
37 Ignore multiple values when comparing with Qnil, but pass any | |
38 multiple values back for the last arg. | |
39 * eval.c (Fand): | |
40 Ditto. | |
41 * eval.c (Fif): | |
42 Ignore multiple values when examining the result of the | |
43 condition. | |
44 * eval.c (Fcond): | |
45 Ignore multiple values when comparing what the clauses give, but | |
46 pass them back if a clause gave non-nil. | |
47 * eval.c (Fprog2): | |
48 Never pass back multiple values. | |
49 * eval.c (FletX, Flet): | |
50 Ignore multiple when evaluating what exactly symbols should be | |
51 bound to. | |
52 * eval.c (Fwhile): | |
53 Ignore multiple values when evaluating the test. | |
54 * eval.c (Fsetq, Fdefvar, Fdefconst): | |
55 Ignore multiple values. | |
56 * eval.c (Fthrow): | |
57 Declare this as a special form; ignore multiple values for TAG, | |
58 preserve them for VALUE. | |
59 * eval.c (throw_or_bomb_out): | |
60 Make this available to other files, now Fthrow is a special form. | |
61 * eval.c (Feval): | |
62 Ignore multiple values when calling a compiled function, a | |
63 non-special-form subr, or a lambda expression. | |
64 * eval.c (Ffuncall): | |
65 If we attempt to call #'throw (now a special form) as a function, | |
66 don't error, call #'obsolete-throw instead. | |
67 * eval.c (make_multiple_value, multiple_value_aset) | |
68 (multiple_value_aref, print_multiple_value, mark_multiple_value) | |
69 (size_multiple_value): | |
70 Implement the multiple_value type. Add a long comment describing | |
71 our implementation. | |
72 * eval.c (bind_multiple_value_limits): | |
73 New function, used by the bytecode and by #'multiple-value-call, | |
74 #'multiple-value-list-internal. | |
75 * eval.c (multiple_value_call): | |
76 New function, used by the bytecode and #'multiple-value-call. | |
77 * eval.c (Fmultiple_value_call): | |
78 New special form. | |
79 * eval.c (multiple_value_list_internal): | |
80 New function, used by the byte code and | |
81 #'multiple-value-list-internal. | |
82 * eval.c (Fmultiple_value_list_internal, Fmultiple_value_prog1): | |
83 New special forms. | |
84 * eval.c (Fvalues, Fvalues_list): | |
85 New Lisp functions. | |
86 * eval.c (values2): | |
87 New function, for C code returning multiple values. | |
88 * eval.c (syms_of_eval): | |
89 Make our new Lisp functions and symbols available. | |
90 * eval.c (multiple-values-limit): | |
91 Make this available to Lisp. | |
92 * event-msw.c (dde_eval_string): | |
93 * event-stream.c (execute_help_form): | |
94 * glade.c (connector): | |
95 * glyphs-widget.c (glyph_instantiator_to_glyph): | |
96 * glyphs.c (evaluate_xpm_color_symbols): | |
97 * gui-x.c (wv_set_evalable_slot, button_item_to_widget_value): | |
98 * gui.c (gui_item_value, gui_item_display_flush_left): | |
99 * lread.c (check_if_suppressed): | |
100 * menubar-gtk.c (menu_convert, menu_descriptor_to_widget_1): | |
101 * menubar-msw.c (populate_menu_add_item): | |
102 * print.c (Fwith_output_to_temp_buffer): | |
103 * symbols.c (Fsetq_default): | |
104 Ignore multiple values when calling Feval. | |
105 * symeval.h: | |
106 Add the header declarations necessary for the multiple-values | |
107 implementation. | |
108 * inline.c: | |
109 #include symeval.h, now that it has some inline functions. | |
110 * lisp.h: | |
111 Update Fthrow's declaration. Make throw_or_bomb_out available to | |
112 all files. | |
113 * lrecord.h (enum lrecord_type): | |
114 Add the multiple_value type here. | |
115 | |
1 2009-07-28 Stephen Turnbull <stephen@xemacs.org> | 116 2009-07-28 Stephen Turnbull <stephen@xemacs.org> |
2 | 117 |
3 * faces.c (ensure_face_cachel_contains_charset): | 118 * faces.c (ensure_face_cachel_contains_charset): |
4 (add_face_cachel): | 119 (add_face_cachel): |
5 (update_face_cachel_data): | 120 (update_face_cachel_data): |