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.

/* The module API: core symbols that are visible to modules.
   Copyright (C) 2008 Jerry James

This file is part of XEmacs.

XEmacs is free software; you can redistribute it and/or modify it
under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2, or (at your option)
any later version.

XEmacs is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
General Public License for more details.

You should have received a copy of the GNU General Public License
along with XEmacs; see the file COPYING.  If not, write to the
Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
Boston, MA 02110-1301, USA. */

/* The symbol to import/export is on the left.  If the symbol is not
   meant to be used directly, but a macro or inline function in the
   API expands to a form containing the symbol, then the macro or
   inline function is named in a comment to the right. */
#define NOT_C_CODE
#include <config.h>
NAME xemacs.exe
EXPORTS
/* Exported functions */
acons
#ifdef NEW_GC
alloc_lrecord			/* alloc_lrecord_type */
lrecord_subr			/* DEFSUBR */
lrecord_symbol_value_forward	/* DEFVAR_SYMVAL_FWD */
#ifdef DEBUG_XEMACS
mcpro_1				/* mcpro */
#endif
mc_alloc			/* DEFSUBR */
#else /* not NEW_GC */
alloc_automanaged_lcrecord	/* old_alloc_lcrecord_type */
#endif /* not NEW_GC */
apply1
#ifdef USE_ASSERTIONS
assert_failed			/* abort(), assert(), etc. */
#endif
build_ext_string
build_intstring
build_msg_intstring
build_msg_string
build_string
#ifdef MULE
bytecount_to_charcount_fun	/* bytecount_to_charcount */
#endif
call0
call1
call2
call3
call4
call5
call6
call7
call8
#ifdef MULE
charcount_to_bytecount_fun	/* charcount_to_bytecount */
#endif
check_quit			/* QUITP */
check_what_happened		/* QUIT */
cons3
copy_lisp_object
dead_wrong_type_argument	/* CHECK_xxx */
#ifdef DEBUG_GCPRO
debug_gcpro1			/* GCPRO1 */
debug_gcpro2			/* GCPRO2 */
debug_gcpro3			/* GCPRO3 */
debug_gcpro4			/* GCPRO4 */
debug_gcpro5			/* GCPRO5 */
debug_ungcpro			/* UNGCPRO */
#endif
deferror
deferror_massage_name		/* DEFERROR */
deferror_massage_name_and_message /* DEFERROR_STANDARD */
defkeyword
defkeyword_massage_name		/* DEFKEYWORD */
defsubr				/* DEFSUBR */
defsubr_macro			/* DEFSUBR_MACRO */
defsymbol
defsymbol_nodump		/* == defsymbol in modules */
defsymbol_massage_multiword_predicate /* DEFSYMBOL_MULTIWORD_PREDICATE */
defsymbol_massage_multiword_predicate_nodump /* DEFSYMBOL_MULTIWORD_PREDICATE_NO_DUMP */
defsymbol_massage_name		/* DEFSYMBOL */
defsymbol_massage_name_nodump	/* DEFSYMBOL_NO_DUMP == DEFSYMBOL in modules */
defvar_magic			/* DEFVAR_LISP, DEFVAR_INT, ... */
dfc_coding_system_is_unicode	/* TO_INTERNAL_FORMAT */
dfc_convert_to_external_format	/* TO_EXTERNAL_FORMAT */
dfc_convert_to_internal_format	/* TO_INTERNAL_FORMAT */
egetenv				
#ifndef EMODULES_GATHER_VERSION
emodules_doc_subr		/* CDOCSUBR */
emodules_doc_sym		/* CDOCSYM */
#endif
eputenv
#ifdef DEBUG_XEMACS
eq_with_ebola_notice		/* EQ_WITH_EBOLA_NOTICE */
#endif
#ifdef ERROR_CHECK_TYPES
error_check_cons
#ifdef HAVE_LDAP
error_check_ldap
#endif
error_check_opaque_ptr
#ifdef HAVE_POSTGRESQL
error_check_pgconn
error_check_pgresult
#endif
error_check_string
#ifdef NEW_GC
error_check_string_direct_data
error_check_string_indirect_data
#endif
#endif
free_opaque_ptr
get_coding_system_for_text_file
intern
invalid_argument
invalid_argument_2
invalid_constant
invalid_operation
invalid_operation_2
list1
list2
list3
list4
list5
list6
make_ext_string
make_float
make_opaque_ptr
make_string
make_vector
maybe_invalid_operation
message
new_dfc_convert_copy_data	/* C_STRING_TO_EXTERNAL, ... */
new_dfc_convert_malloc		/* C_STRING_TO_EXTERNAL_MALLOC, ... */
new_dfc_convert_size		/* C_STRING_TO_EXTERNAL, ... */
#ifdef MULE
non_ascii_itext_copy_ichar	/* itext_copy_ichar */
non_ascii_itext_ichar		/* itext_ichar */
non_ascii_set_itext_ichar	/* set_itext_ichar */
non_ascii_valid_ichar_p		/* valid_ichar_p */
#endif
out_of_memory			/* The postgresql module uses this */
printing_unreadable_object
record_unwind_protect
record_unwind_protect_freeing
report_process_error
signal_circular_list_error	/* EXTERNAL_LIST_LOOP* */
signal_circular_property_list_error	/* EXTERNAL_PROPERTY_LIST_LOOP* */
signal_error
signal_ferror
signal_malformed_list_error	/* EXTERNAL_LIST_LOOP* */
signal_malformed_property_list_error	/* EXTERNAL_PROPERTY_LIST_LOOP* */
signal_quit			/* QUIT */
slow_down_interrupts
speed_up_interrupts
#ifndef DEBUG_XEMACS
staticpro
staticpro_nodump
#else
staticpro_1
staticpro_nodump_1
#endif
unbind_to_1			/* unbind_to */
#ifndef DEBUG_XEMACS
unstaticpro_nodump
#else
unstaticpro_nodump_1
#endif
vector1
vector2
vector3
warn_when_safe
#ifdef ERROR_CHECK_TYPES
wrap_record_1
#endif
write_c_string
write_fmt_string
write_fmt_string_lisp
write_string
wrong_type_argument		/* CONCHECK_xxx */
xemacs_c_alloca			/* ALLOCA */
xfree_1				/* xfree */
xmalloc
xmalloc_and_zero
xrealloc
xstrdup
Dynarr_delete_many		/* Dynarr_delete, Dynarr_delete_object, ... */
Dynarr_free
Dynarr_insert_many		/* Dynarr_add_{literal,lisp}_string */
Dynarr_newf			/* Dynarr_new, Dynarr_new2 */
Dynarr_resize			/* Dynarr_add */
Fappend
Fapply
Fbuffer_modified_p
Fbuffer_name
Fcall_with_condition_handler
Fcons
Fcurrent_buffer
Fequal
Feval
Fexpand_abbrev
Ffuncall
Fget
Fkill_buffer
Flength
Flist
Fmake_list
Fmake_string
Fmake_symbol
Fmake_vector
Fnreverse
Fprovide
Fput
Freverse
Fset_buffer
Fsignal
Fthrow
Fvector
#ifdef ERROR_CHECK_TYPES
XINT_1
#endif

/* Exported variables */
__temp_alloca_size__		/* ALLOCA */
#ifdef DEBUG_XEMACS
debug_issue_ebola_notices	/* EQ_WITH_EBOLA_NOTICE */
#endif
dont_check_for_quit		/* QUITP, QUIT */
gcprolist			/* GCPRO1, GCPRO2, ... */
initialized			/* LOADHIST_ATTACH */
lrecord_cons			/* CONSP */
lrecord_implementations_table	/* RECORD_DUMPABLE */
lrecord_marker			/* MARKERP */
#ifdef USE_KKCC
lrecord_memory_descriptions	/* INIT_LRECORD_IMPLEMENTATION */
#else
lrecord_markers			/* INIT_LRECORD_IMPLEMENTATION */
#endif
lrecord_string			/* STRINGP */
lrecord_symbol	 		/* SYMBOLP */
lrecord_type_count		/* INIT_EXTERNAL_LRECORD_IMPLEMENTATION */
lrecord_uid_counter
need_to_check_c_alloca		/* ALLOCA */
print_readably
quit_check_signal_happened	/* QUITP */
#ifdef ERROR_CHECK_MALLOC
regex_malloc_disallowed		/* REGEX_MALLOC_CHECK */
#endif
#ifdef MULE
rep_bytes_by_first_byte		/* itext_ichar_len, INC_IBYTEPTR, ... */
#endif
something_happened		/* QUIT */
specpdl_depth_counter		/* specpdl_depth */
Qconsp				/* CHECK_CONS */
Qcritical			/* QUIT, QUITP */
Qdelete
Qfile_name			/* Qdll_filename_encoding */
Qintegerp			/* CHECK_INT, CONCHECK_INT */
Qinvalid_argument
Qnative
Qnil
Qnotice
#ifdef USE_UNION_TYPE
Qnull_pointer			/* DEFVAR_xxx */
#endif
Qprocess_error
Qsearch
Qsimple
Qstringp			/* CHECK_STRING */
Qsymbolp			/* CHECK_SYMBOL */
Qsyntax_error
Qt
Qunbound
#ifdef USE_UNION_TYPE
Qzero				/* ZEROP */
#endif
Vinhibit_quit			/* QUIT, QUITP */
Vquit_flag			/* QUIT, QUITP */