Clean up prelude injection
refactor(cli/repl): clean up prelude injection (#7967)
Clean up prelude injectione2a1a7-refactor-clean-up-prelude-injectionrefactorclean prelude injection cli repl
Committed by caspervonb
commit message
refactor(cli/repl): clean up prelude injection (#7967)
This extracts prelude injection into a helper function and moves the
prelude string literal into a top level static string to help trim some
of the fat out of the run function.Editor assessment
The subject states the cleanup area exactly: prelude injection in the REPL. The body earns its place: a helper function extracts the injection, the prelude string becomes a top-level static, and the run function sheds weight. That is mechanism and motivation together. Type refactor and the cli/repl scope are accurate. No footers beyond the PR number. Hygiene is clean. A proportionate message whose brief body explains the refactor's shape.