@@ -0,0 +1,115 @@
1+// This file is a part of Julia. License is MIT: https://julialang.org/license
2+
3+/*
4+ repl.c
5+ system startup, main(), and console interaction
6+*/
7+
8+#define JULIA_ENABLE_THREADING
9+
10+#include <assert.h>
11+#include <ctype.h>
12+#include <errno.h>
13+#include <inttypes.h>
14+#include <limits.h>
15+#include <math.h>
16+#include <setjmp.h>
17+#include <signal.h>
18+#include <stdarg.h>
19+#include <stdio.h>
20+#include <stdlib.h>
21+#include <string.h>
22+#include <sys/stat.h>
23+#include <sys/types.h>
24+#include <time.h>
25+
26+#include <julia/julia.h>
27+#include <julia/uv.h>
28+
29+JULIA_DEFINE_FAST_TLS()
30+
31+void fancy_repl(void) {
32+ assert(jl_base_module && "oh no, we have no repl?");
33+
34+ jl_function_t *start_client =
35+ (jl_function_t *)jl_get_global(jl_base_module, jl_symbol("_start"));
36+
37+ JL_TRY {
38+ size_t last_age = jl_get_ptls_states()->world_age;
39+ jl_get_ptls_states()->world_age = jl_get_world_counter();
40+
41+ jl_apply(&start_client, 1);
42+
43+ jl_get_ptls_states()->world_age = last_age;
44+ }
45+ JL_CATCH { jl_no_exc_handler(jl_current_exception()); }
46+}
47+
48+static int exec_program(const char *program) {
49+ JL_TRY { jl_load(jl_main_module, program); }
50+ JL_CATCH {
51+ jl_value_t *errs = jl_stderr_obj();
52+ volatile int shown_err = 0;
53+ jl_printf(JL_STDERR, "error during bootstrap:\n");
54+ JL_TRY {
55+ if (errs) {
56+ jl_value_t *showf = jl_get_function(jl_base_module, "show");
57+ if (showf != NULL) {
58+ jl_call2(showf, errs, jl_current_exception());
59+ jl_printf(JL_STDERR, "\n");
60+ shown_err = 1;
61+ }
62+ }
63+ }
64+ JL_CATCH {}
65+ if (!shown_err) {
66+ jl_static_show(JL_STDERR, jl_current_exception());
67+ jl_printf(JL_STDERR, "\n");
68+ }
69+ jlbacktrace();
70+ jl_printf(JL_STDERR, "\n");
71+ return 1;
72+ }
73+ return 0;
74+}
75+
76+const char *get_banner(void) {
77+ jl_value_t *ret = jl_eval_string("io = IOBuffer(); Base.banner(IOContext(io, "
78+ ":color => true)); String(take!(io))");
79+
80+ assert(jl_typeis(ret, jl_string_type) && "banner should be a string");
81+
82+ return jl_string_ptr(ret);
83+}
84+
85+void setup() {
86+ jl_init();
87+ libsupport_init();
88+
89+ jl_options.banner = 0;
90+ jl_options.color = 1;
91+
92+ jl_eval_string("import REPL");
93+ jl_set_global(jl_base_module, jl_symbol("replit_prompt"),
94+ jl_cstr_to_string("julia> "));
95+ jl_eval_string(
96+ "atreplinit(function (r)"
97+ "r.interface = REPL.setup_interface(r, true, r.options.extra_keymap); "
98+ "r.interface.modes[1].prompt=Base.replit_prompt;"
99+ "r.interface.modes[2].prompt=\"shell> \";"
100+ "r.interface.modes[3].prompt=\"help?> \";"
101+ "end)");
102+}
103+
104+void cleanup() { jl_atexit_hook(0); }
105+
106+void eval(const char *str) { jl_eval_string(str); }
107+
108+void eval_file(const char *path) { exec_program(path); }
109+
110+void run_repl() { fancy_repl(); }
111+
112+void set_prompt(const char *prompt) {
113+ jl_set_global(jl_base_module, jl_symbol("replit_prompt"),
114+ jl_cstr_to_string(prompt));
115+}