How do I include REPL with current environment into the binary?

[tttuuu888]

Hi,
The content of the init.janet in the project created with jpm new-exe-project is as follows:

(defn hello [] "Hello!")

(defn main [& args]
  (print (hello))
  (repl))

When this project is built and run, it prints 'Hello' and starts a REPL, but I can't run (hello) from within the REPL.

$ ./build/hello
Hello!
repl:1:> (hello)
repl:1:1: compile error: unknown symbol hello

Is there a way to include a REPL in the binary and execute the project's functions within it?
For your reference, I've tried (repl nil nil (curenv)) and (repl nil nil root-env), but neither worked.
Thank you.

[sogaiu]

How about this?

(defn hello
  `Evaluates to "Hello!"`
  []
  "Hello!")

(def my-env (curenv))

(defn main
  [& args]
  (print (hello))
  (repl nil nil my-env))

With that I get the following sort of result:

$ ./build/hello
Hello!
repl:1:> (hello)
"Hello!"

On a side note, I found this chapter of "Janet for Mortals" to have bits in it that helped me to understand getting this kind of thing to work.

[tttuuu888]

@sogaiu Thanks! The method you described works perfectly.
If this wasn't possible, I was thinking to try the image loading way mentioned in Janet for Mortals.

But now I've found another issue: keys like TAB, C-a, and C-k aren't working in the repl from the binary.
Do you happen to know why that is?

[sogaiu]

Not sure, but IIUC, the mentioned functionality (e.g. TAB, C-a, etc.) works via the janet executable because one of the pieces that goes into compiling that binary is shell.c.

I suspect that when an executable is built with the jpm functionality in question, shell.c or something comparable is not part of the process.

If that's off, perhaps others who know better can chime in 😅

[tttuuu888]

Thanks for the extra explanation. I feel like my questions in this thread have been fully answered. Thank you.

[tttuuu888]

@sogaiu For reference, you're right - shell.c can't be included in the binary built with jpm and that's why key handling is missing.
The repl executed by janet command replaces the getline with janet_line_getter in shell.c.

    /* Replace original getline with new line getter */
    JanetTable *replacements = janet_table(0);
    janet_table_put(replacements, janet_csymbolv("getline"), janet_wrap_cfunction(janet_line_getter));

And inside the janet_line_getter -> janet_line_get -> line function, I can see key handling code for keys like TAB, C-a, C-k, etc.