type_check: take function name arg.

* arith.c (flo_int): Pass down name to type_check.

* eval.c (copy_env, env_fbind, env_vbind, env_vb_to_fb,
func_get_name, lexical_var_p, lexical_fun_p,
lexical_lisp1_binding, squash_menv_deleting_range, op_upenv):
Pass relevant Lisp function name to type_check.
(lookup_global_var, lookup_sym_lisp1, lookup_fun, lookup_mac,
lookup_symac, lookup_symac_lisp1): For these widely used
functions, pass situational prefix in place of function name.
They may get a funtion name argument in the future.

* gc.c (gc_finalize): Pass function name to type_check.

* lib.c (throw_mismatch): Take function nme argument,
incorporate into mesage.
(lcons_fun, c_flo, string_extend, symbol_name, symbol_package,
get_package, package_name, func_get_form, func_get_env,
func_set_env, vec_set_length, length_vec, size_vec, list_vec,
lay_str_force, lay_str_force_upto, lazy_str_get_trailing_list,
from, too, set_from, set_to): Pass relevant Lisp function name
to type_check.
(symbol_setname, symbol_visible): Pass indication of internal
error into type_check, since this doesn't pertain to any Lisp
function being wrong.

* lib.h (throw_mismatch): Declaration updated.
(type_check): Take new parameter and pass down to
throw_mismatch.

* signal.c (set_sig_handler): Pass name down to type_check.

1 files changed, 1 insertions, 1 deletions

diff --git a/gc.c b/gc.c
index 15384794..1359ea0f 100644
--- a/gc.c
+++ b/gc.c
@@ -888,7 +888,7 @@ static val gc_wrap(void)
 
 val gc_finalize(val obj, val fun, val rev_order_p)
 {
-  type_check(fun, FUN);
+  type_check(lit("gc-finalize"), fun, FUN);
 
   rev_order_p = default_null_arg(rev_order_p);