Fix infinite loop in expander
[bpt/guile.git] / libguile / init.c
CommitLineData
b9ace686 1/* Copyright (C) 1995-2004, 2006, 2009-2014 Free Software Foundation, Inc.
eb4a14ed 2 *
73be1d9e 3 * This library is free software; you can redistribute it and/or
53befeb7
NJ
4 * modify it under the terms of the GNU Lesser General Public License
5 * as published by the Free Software Foundation; either version 3 of
6 * the License, or (at your option) any later version.
0f2d19dd 7 *
53befeb7
NJ
8 * This library is distributed in the hope that it will be useful, but
9 * WITHOUT ANY WARRANTY; without even the implied warranty of
73be1d9e
MV
10 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
11 * Lesser General Public License for more details.
0f2d19dd 12 *
73be1d9e
MV
13 * You should have received a copy of the GNU Lesser General Public
14 * License along with this library; if not, write to the Free Software
53befeb7
NJ
15 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
16 * 02110-1301 USA
73be1d9e 17 */
1bbd0b84 18
1bbd0b84 19
0f2d19dd 20\f
bdca1083
JB
21/* Include the headers for just about everything.
22 We call all their initialization functions. */
0f2d19dd 23
dbb605f5 24#ifdef HAVE_CONFIG_H
6f0250f7
RB
25# include <config.h>
26#endif
27
93003b16 28#include <stdlib.h>
0f2d19dd 29#include <stdio.h>
0a48b624
MV
30#include <sys/stat.h>
31#include <fcntl.h>
05be5e7c 32#include <gmp.h>
0a48b624 33
a0599745 34#include "libguile/_scm.h"
0f2d19dd 35
20e6290e 36/* Everybody has an init function. */
a0599745
MD
37#include "libguile/alist.h"
38#include "libguile/arbiters.h"
39#include "libguile/async.h"
40#include "libguile/backtrace.h"
cf396142 41#include "libguile/bitvectors.h"
a0599745 42#include "libguile/boolean.h"
cfb4702f 43#include "libguile/bytevectors.h"
a0599745 44#include "libguile/chars.h"
b9c100d0 45#include "libguile/control.h"
a0599745 46#include "libguile/continuations.h"
a0599745 47#include "libguile/debug.h"
6b815f1a 48#ifdef GUILE_DEBUG_MALLOC
a0599745 49#include "libguile/debug-malloc.h"
6b815f1a 50#endif
388bebbc 51#include "libguile/deprecation.h"
a0599745
MD
52#include "libguile/dynl.h"
53#include "libguile/dynwind.h"
54#include "libguile/eq.h"
55#include "libguile/error.h"
56#include "libguile/eval.h"
57#include "libguile/evalext.h"
dc3e203e 58#include "libguile/expand.h"
a0599745
MD
59#include "libguile/feature.h"
60#include "libguile/filesys.h"
eaf99988 61#include "libguile/finalizers.h"
a0599745
MD
62#include "libguile/fluids.h"
63#include "libguile/fports.h"
a6029b97 64#include "libguile/frames.h"
a0599745 65#include "libguile/gc.h"
1030b450 66#include "libguile/generalized-arrays.h"
f332e957 67#include "libguile/generalized-vectors.h"
508ded1c 68#include "libguile/goops.h"
a0599745
MD
69#include "libguile/gsubr.h"
70#include "libguile/hash.h"
71#include "libguile/hashtab.h"
2b9c8690 72#include "libguile/hooks.h"
b89c4943 73#include "libguile/gettext.h"
756e8a3a 74#include "libguile/i18n.h"
a6029b97 75#include "libguile/instructions.h"
a0599745
MD
76#include "libguile/ioext.h"
77#include "libguile/keywords.h"
a0599745
MD
78#include "libguile/list.h"
79#include "libguile/load.h"
80#include "libguile/macros.h"
81#include "libguile/mallocs.h"
b7742c6b 82#include "libguile/memoize.h"
a0599745
MD
83#include "libguile/modules.h"
84#include "libguile/net_db.h"
85#include "libguile/numbers.h"
4cbc95f1 86#include "libguile/loader.h"
a0599745
MD
87#include "libguile/objprop.h"
88#include "libguile/options.h"
89#include "libguile/pairs.h"
6f81b18a 90#include "libguile/poll.h"
a0599745
MD
91#include "libguile/ports.h"
92#include "libguile/posix.h"
eb4a14ed 93#ifdef ENABLE_REGEX
a0599745 94#include "libguile/regex-posix.h"
f255378e 95#endif
a0599745
MD
96#include "libguile/print.h"
97#include "libguile/procprop.h"
98#include "libguile/procs.h"
a6029b97 99#include "libguile/programs.h"
7b893819 100#include "libguile/promises.h"
5d1b3b2d 101#include "libguile/array-map.h"
a0599745 102#include "libguile/random.h"
fd937ecb 103#include "libguile/rdelim.h"
a0599745 104#include "libguile/read.h"
b0e5fd8c 105#include "libguile/rw.h"
a0599745
MD
106#include "libguile/scmsigs.h"
107#include "libguile/script.h"
108#include "libguile/simpos.h"
109#include "libguile/smob.h"
110#include "libguile/socket.h"
111#include "libguile/sort.h"
112#include "libguile/srcprop.h"
113#include "libguile/stackchk.h"
114#include "libguile/stacks.h"
115#include "libguile/stime.h"
116#include "libguile/strings.h"
37710f7e
AW
117#include "libguile/srfi-1.h"
118#include "libguile/srfi-4.h"
ad45f6b3
MV
119#include "libguile/srfi-13.h"
120#include "libguile/srfi-14.h"
37710f7e 121#include "libguile/srfi-60.h"
a0599745
MD
122#include "libguile/strorder.h"
123#include "libguile/strports.h"
124#include "libguile/struct.h"
125#include "libguile/symbols.h"
a0599745 126#include "libguile/throw.h"
2fa901a5 127#include "libguile/arrays.h"
0f458a37 128#include "libguile/trees.h"
c5ea7553 129#include "libguile/unicode.h"
ce212434 130#include "libguile/values.h"
a0599745
MD
131#include "libguile/variable.h"
132#include "libguile/vectors.h"
133#include "libguile/version.h"
a6029b97 134#include "libguile/vm.h"
a0599745 135#include "libguile/vports.h"
a0599745 136#include "libguile/guardians.h"
1be6b49c 137#include "libguile/extensions.h"
476b894c 138#include "libguile/uniform.h"
9b31f1c1 139#include "libguile/deprecated.h"
20e6290e 140
a0599745 141#include "libguile/init.h"
22fc179a 142#include "libguile/private-options.h"
a8be22fe 143
95b88819
GH
144#ifdef HAVE_STRING_H
145#include <string.h>
146#endif
95b88819 147#include <unistd.h>
0f2d19dd
JB
148
149
150\f
1cdaaafb
JB
151/* initializing standard and current I/O ports */
152
19b27fa2
GH
153typedef struct
154{
155 int fdes;
156 char *mode;
19b27fa2
GH
157} stream_body_data;
158
159/* proc to be called in scope of exception handler stream_handler. */
ee149d03 160static SCM
19b27fa2 161stream_body (void *data)
ee149d03 162{
19b27fa2 163 stream_body_data *body_data = (stream_body_data *) data;
bfb85df7 164 SCM port = scm_fdes_to_port (body_data->fdes, body_data->mode, SCM_BOOL_F);
3753e227 165 scm_set_port_revealed_x (port, SCM_INUM1);
19b27fa2
GH
166 return port;
167}
168
169/* exception handler for stream_body. */
170static SCM
e81d98ec
DH
171stream_handler (void *data SCM_UNUSED,
172 SCM tag SCM_UNUSED,
173 SCM throw_args SCM_UNUSED)
19b27fa2
GH
174{
175 return SCM_BOOL_F;
176}
177
178/* Convert a file descriptor to a port, using scm_fdes_to_port.
19b27fa2
GH
179 - set the revealed count for FILE's file descriptor to 1, so
180 that fdes won't be closed when the port object is GC'd.
181 - catch exceptions: allow Guile to be able to start up even
70df8af6
GH
182 if it has been handed bogus stdin/stdout/stderr. replace the
183 bad ports with void ports. */
19b27fa2 184static SCM
bfb85df7 185scm_standard_stream_to_port (int fdes, char *mode)
19b27fa2
GH
186{
187 SCM port;
188 stream_body_data body_data;
189
190 body_data.fdes = fdes;
191 body_data.mode = mode;
19b27fa2
GH
192 port = scm_internal_catch (SCM_BOOL_T, stream_body, &body_data,
193 stream_handler, NULL);
7888309b 194 if (scm_is_false (port))
70df8af6 195 port = scm_void_port (mode);
19b27fa2 196 return port;
ee149d03
JB
197}
198
199/* Create standard ports from stdin, stdout, and stderr. */
1cdaaafb
JB
200static void
201scm_init_standard_ports ()
202{
94754080
JB
203 /* From the SCSH manual:
204
205 It can be useful to turn I/O buffering off in some cases, for
206 example when an I/O stream is to be shared by multiple
207 subprocesses. For this reason, scsh allocates an unbuffered port
208 for file descriptor 0 at start-up time.
209
210 Because shells frequently share stdin with subprocesses, if the
211 shell does buffered reads, it might ``steal'' input intended for
212 a subprocess. For this reason, all shells, including sh, csh,
213 and scsh, read stdin unbuffered. Applications that can tolerate
214 buffered input on stdin can reset \ex{(current-input-port)} to
215 block buffering for higher performance. */
ee149d03 216
9de87eea 217 scm_set_current_input_port
bfb85df7 218 (scm_standard_stream_to_port (0, isatty (0) ? "r0" : "r"));
9de87eea 219 scm_set_current_output_port
bfb85df7 220 (scm_standard_stream_to_port (1, isatty (1) ? "w0" : "w"));
9de87eea 221 scm_set_current_error_port
bfb85df7 222 (scm_standard_stream_to_port (2, isatty (2) ? "w0" : "w"));
0463a927 223 scm_set_current_warning_port (scm_current_error_port ());
1cdaaafb
JB
224}
225
226
227\f
bdca1083
JB
228/* Loading the startup Scheme files. */
229
230/* The boot code "ice-9/boot-9" is only loaded by scm_boot_guile when
231 this is false. The unexec code uses this, to keep ice_9 from being
232 loaded into dumped guile executables. */
233int scm_ice_9_already_loaded = 0;
234
235void
236scm_load_startup_files ()
237{
238 /* We want a path only containing directories from GUILE_LOAD_PATH,
239 SCM_SITE_DIR and SCM_LIBRARY_DIR when searching for the site init
240 file, so we do this before loading Ice-9. */
cc95e00a
MV
241 SCM init_path =
242 scm_sys_search_load_path (scm_from_locale_string ("init.scm"));
bdca1083
JB
243
244 /* Load Ice-9. */
245 if (!scm_ice_9_already_loaded)
b505860d 246 {
0fb81f95 247 scm_c_primitive_load_path ("ice-9/boot-9");
bdca1083 248
b505860d 249 /* Load the init.scm file. */
7888309b 250 if (scm_is_true (init_path))
b505860d 251 scm_primitive_load (init_path);
b505860d 252 }
bdca1083
JB
253}
254
bdca1083
JB
255\f
256/* The main init code. */
257
0f2d19dd
JB
258#ifdef _UNICOS
259typedef int setjmp_type;
260#else
261typedef long setjmp_type;
262#endif
263
816a6f06
JB
264/* All the data needed to invoke the main function. */
265struct main_func_closure
266{
267 /* the function to call */
1bbd0b84 268 void (*main_func)(void *closure, int argc, char **argv);
816a6f06
JB
269 void *closure; /* dummy data to pass it */
270 int argc;
271 char **argv; /* the argument list it should receive */
272};
273
9de87eea 274static void *invoke_main_func(void *body_data);
1cdaaafb
JB
275
276
277/* Fire up the Guile Scheme interpreter.
278
279 Call MAIN_FUNC, passing it CLOSURE, ARGC, and ARGV. MAIN_FUNC
280 should do all the work of the program (initializing other packages,
281 reading user input, etc.) before returning. When MAIN_FUNC
93003b16
LC
282 returns, call exit (EXIT_FAILURE); this function never returns.
283 If you want some other exit value, MAIN_FUNC may call exit itself.
0f2d19dd 284
1cdaaafb
JB
285 scm_boot_guile arranges for program-arguments to return the strings
286 given by ARGC and ARGV. If MAIN_FUNC modifies ARGC/ARGV, should
287 call scm_set_program_arguments with the final list, so Scheme code
288 will know which arguments have been processed.
c275ddc7 289
816a6f06
JB
290 scm_boot_guile establishes a catch-all catch handler which prints
291 an error message and exits the process. This means that Guile
292 exits in a coherent way when system errors occur and the user isn't
293 prepared to handle it. If the user doesn't like this behavior,
294 they can establish their own universal catcher to shadow this one.
295
1cdaaafb
JB
296 Why must the caller do all the real work from MAIN_FUNC? The
297 garbage collector assumes that all local variables of type SCM will
298 be above scm_boot_guile's stack frame on the stack. If you try to
299 manipulate SCM values after this function returns, it's the luck of
300 the draw whether the GC will be able to find the objects you
301 allocate. So, scm_boot_guile function exits, rather than
302 returning, to discourage people from making that mistake. */
303
304
305void
6e8d25a6 306scm_boot_guile (int argc, char ** argv, void (*main_func) (), void *closure)
c275ddc7 307{
657e7929 308 void *res;
816a6f06 309 struct main_func_closure c;
c275ddc7 310
9235f805
EZ
311 /* On Windows, convert backslashes in argv[0] to forward
312 slashes. */
b9ace686
MW
313 if (argc > 0)
314 scm_i_mirror_backslashes (argv[0]);
315
816a6f06
JB
316 c.main_func = main_func;
317 c.closure = closure;
318 c.argc = argc;
319 c.argv = argv;
320
657e7929
MV
321 res = scm_with_guile (invoke_main_func, &c);
322
323 /* If the caller doesn't want this, they should exit from main_func
324 themselves.
325 */
326 if (res == NULL)
327 exit (EXIT_FAILURE);
328 else
93003b16 329 exit (EXIT_SUCCESS);
c275ddc7
JB
330}
331
9de87eea
MV
332static void *
333invoke_main_func (void *body_data)
7ad3a978 334{
9de87eea
MV
335 struct main_func_closure *closure = (struct main_func_closure *) body_data;
336
ed4c3739 337 scm_i_set_boot_program_arguments (closure->argc, closure->argv);
9de87eea
MV
338 (*closure->main_func) (closure->closure, closure->argc, closure->argv);
339
340 scm_restore_signals ();
341
342 /* This tick gives any pending
343 * asyncs a chance to run. This must be done after
344 * the call to scm_restore_signals.
345 */
346 SCM_ASYNC_TICK;
347
657e7929
MV
348 /* Indicate success by returning non-NULL.
349 */
350 return (void *)1;
7ad3a978 351}
1cdaaafb 352
9de87eea 353scm_i_pthread_mutex_t scm_i_init_mutex = SCM_I_PTHREAD_MUTEX_INITIALIZER;
bf1b9494
MD
354int scm_initialized_p = 0;
355
9de87eea
MV
356static void *
357really_cleanup_for_exit (void *unused)
358{
359 scm_flush_all_ports ();
360 return NULL;
361}
362
76da80e7 363static void
9de87eea
MV
364cleanup_for_exit ()
365{
b87e6d04
HWN
366 if (scm_i_pthread_mutex_trylock (&scm_i_init_mutex) == 0)
367 scm_i_pthread_mutex_unlock (&scm_i_init_mutex);
368 else
369 {
370 fprintf (stderr, "Cannot exit gracefully when init is in progress; aborting.\n");
371 abort ();
372 }
373
9de87eea
MV
374 /* This function might be called in non-guile mode, so we need to
375 enter it temporarily.
376 */
377 scm_with_guile (really_cleanup_for_exit, NULL);
378}
379
380void
12c1d861 381scm_i_init_guile (void *base)
0f2d19dd 382{
7ad3a978
MV
383 if (scm_initialized_p)
384 return;
0f2d19dd 385
c35738c1 386 scm_storage_prehistory ();
562cd1b8 387 scm_threads_prehistory (base); /* requires storage_prehistory */
7005c60f 388 scm_weak_table_prehistory (); /* requires storage_prehistory */
6b815f1a 389#ifdef GUILE_DEBUG_MALLOC
7ad3a978 390 scm_debug_malloc_prehistory ();
6b815f1a 391#endif
a141db86 392 scm_symbols_prehistory (); /* requires weak_table_prehistory */
562cd1b8 393 scm_modules_prehistory ();
ce65df9f 394 scm_init_array_handle ();
f3056b42 395 scm_bootstrap_bytevectors (); /* Requires array-handle */
2be89ca1 396 scm_bootstrap_instructions ();
4cbc95f1 397 scm_bootstrap_loader ();
2be89ca1
AW
398 scm_bootstrap_programs ();
399 scm_bootstrap_vm ();
c0062328 400 scm_register_r6rs_ports ();
ab4779ff 401 scm_register_foreign ();
a7ee7f7c 402 scm_register_foreign_object ();
37710f7e
AW
403 scm_register_srfi_1 ();
404 scm_register_srfi_60 ();
6f81b18a 405 scm_register_poll ();
2be89ca1 406
f3056b42 407 scm_init_strings (); /* Requires array-handle */
ce65df9f 408 scm_init_struct (); /* Requires strings */
4afe4ab4 409 scm_smob_prehistory ();
562cd1b8 410 scm_init_variable ();
8f79d4ed 411 scm_init_continuations (); /* requires smob_prehistory */
de42a0ee 412 scm_init_root (); /* requires continuations */
8f79d4ed 413 scm_init_threads (); /* requires smob_prehistory */
7ad3a978 414 scm_init_gsubr ();
3d7f708f 415 scm_init_thread_procs (); /* requires gsubrs */
85db4a2c 416 scm_init_procprop ();
7ad3a978 417 scm_init_alist ();
8f79d4ed
AW
418 scm_init_arbiters (); /* requires smob_prehistory */
419 scm_init_async (); /* requires smob_prehistory */
7ad3a978
MV
420 scm_init_boolean ();
421 scm_init_chars ();
6b815f1a 422#ifdef GUILE_DEBUG_MALLOC
7ad3a978 423 scm_init_debug_malloc ();
6b815f1a 424#endif
8f79d4ed 425 scm_init_dynwind (); /* requires smob_prehistory */
7ad3a978
MV
426 scm_init_eq ();
427 scm_init_error ();
eaf99988 428 scm_init_finalizers ();
9de87eea 429 scm_init_fluids ();
3ccee391 430 scm_init_control (); /* requires fluids */
562cd1b8
AW
431 scm_init_feature ();
432 scm_init_backtrace ();
7ad3a978 433 scm_init_fports ();
a98bddfd 434 scm_init_strports ();
b87e6d04 435 scm_init_ports ();
7ad3a978
MV
436 scm_init_hash ();
437 scm_init_hashtab ();
562cd1b8 438 scm_init_deprecation ();
7ad3a978 439 scm_init_objprop ();
8f79d4ed 440 scm_init_promises (); /* requires smob_prehistory */
56e55ac7 441 scm_init_hooks (); /* Requires smob_prehistory */
80fc43f2
LC
442 scm_init_stime ();
443 scm_init_gc (); /* Requires hooks and `get_internal_run_time' */
8f79d4ed 444 scm_init_gc_protect_object (); /* requires threads_prehistory */
b89c4943 445 scm_init_gettext ();
7ad3a978 446 scm_init_ioext ();
8f79d4ed 447 scm_init_keywords (); /* Requires smob_prehistory */
3ace9a8e 448 scm_init_fports_keywords ();
7ad3a978 449 scm_init_list ();
3658a374
GS
450 scm_init_random (); /* Requires smob_prehistory */
451 scm_init_macros (); /* Requires smob_prehistory and random */
8f79d4ed
AW
452 scm_init_mallocs (); /* Requires smob_prehistory */
453 scm_init_modules (); /* Requires smob_prehistory */
7ad3a978
MV
454 scm_init_numbers ();
455 scm_init_options ();
456 scm_init_pairs ();
8f79d4ed 457 scm_init_filesys (); /* Requires smob_prehistory */
073167ef 458#ifdef HAVE_POSIX
7ad3a978 459 scm_init_posix ();
52cfc69b 460#endif
eb4a14ed 461#ifdef ENABLE_REGEX
8f79d4ed 462 scm_init_regex_posix (); /* Requires smob_prehistory */
f255378e 463#endif
7ad3a978 464 scm_init_procs ();
7ad3a978 465 scm_init_scmsigs ();
52cfc69b 466#ifdef HAVE_NETWORKING
7ad3a978
MV
467 scm_init_net_db ();
468 scm_init_socket ();
52cfc69b 469#endif
7ad3a978 470 scm_init_sort ();
8f79d4ed 471 scm_init_srcprop (); /* requires smob_prehistory */
7ad3a978 472 scm_init_stackchk ();
f45eccff 473
f3056b42
AW
474 scm_init_generalized_arrays ();
475 scm_init_generalized_vectors ();
476 scm_init_vectors (); /* Requires array-handle, */
f45eccff 477 scm_init_uniform ();
f3056b42
AW
478 scm_init_bitvectors (); /* Requires smob_prehistory, array-handle */
479 scm_init_srfi_4 (); /* Requires smob_prehistory, array-handle */
ce65df9f 480 scm_init_arrays (); /* Requires smob_prehistory, array-handle */
f45eccff
AW
481 scm_init_array_map ();
482
8f79d4ed 483 scm_init_frames (); /* Requires smob_prehistory */
aa3f6951 484 scm_init_stacks (); /* Requires strings, struct, frames */
7ad3a978 485 scm_init_symbols ();
ce212434 486 scm_init_values (); /* Requires struct */
7c33806a 487 scm_init_load (); /* Requires strings */
8f79d4ed 488 scm_init_print (); /* Requires strings, struct, smob */
7ad3a978 489 scm_init_read ();
7ad3a978 490 scm_init_strorder ();
ad45f6b3 491 scm_init_srfi_13 ();
8f79d4ed
AW
492 scm_init_srfi_14 (); /* Requires smob_prehistory */
493 scm_init_throw (); /* Requires smob_prehistory */
0f458a37 494 scm_init_trees ();
7ad3a978 495 scm_init_version ();
26b26354 496 scm_init_weak_set ();
7005c60f 497 scm_init_weak_table ();
a141db86 498 scm_init_weak_vectors ();
8f79d4ed 499 scm_init_guardians (); /* requires smob_prehistory */
7ad3a978 500 scm_init_vports ();
5f161164 501 scm_init_standard_ports (); /* Requires fports */
dc3e203e 502 scm_init_expand (); /* Requires structs */
8f79d4ed
AW
503 scm_init_memoize (); /* Requires smob_prehistory */
504 scm_init_eval (); /* Requires smob_prehistory */
5f161164
AW
505 scm_init_load_path ();
506 scm_init_eval_in_scheme ();
7ad3a978 507 scm_init_evalext ();
7ad3a978 508 scm_init_debug (); /* Requires macro smobs */
7ad3a978 509 scm_init_simpos ();
08969a24 510#if HAVE_MODULES
8f79d4ed 511 scm_init_dynamic_linking (); /* Requires smob_prehistory */
08969a24 512#endif
756e8a3a 513 scm_bootstrap_i18n ();
7ad3a978 514 scm_init_script ();
c5ea7553 515 scm_init_unicode ();
508ded1c 516
e2d085f3 517 scm_init_goops ();
9b31f1c1
MV
518
519#if SCM_ENABLE_DEPRECATED == 1
520 scm_i_init_deprecated ();
521#endif
522
7ad3a978 523 scm_initialized_p = 1;
0f2d19dd 524
1cdaaafb 525 scm_stack_checking_enabled_p = SCM_STACK_CHECKING_P;
0f2d19dd 526
fd937ecb 527 scm_init_rdelim ();
b0e5fd8c 528 scm_init_rw ();
08045107 529 scm_init_extensions ();
e2d085f3 530
9de87eea 531 atexit (cleanup_for_exit);
e2d085f3 532 scm_load_startup_files ();
6f06e8d3 533 scm_init_load_should_auto_compile ();
a85f90f5
AW
534
535 /* Capture the dynamic state after loading boot-9, so that new threads end up
536 in the guile-user module. */
537 scm_init_threads_default_dynamic_state ();
eaf99988
AW
538
539 /* Finally, cause finalizers to run in a separate thread. */
540 scm_init_finalizer_thread ();
7ad3a978
MV
541}
542
89e00824
ML
543/*
544 Local Variables:
545 c-file-style: "gnu"
546 End:
547*/