Generate Curry_Main_Goal.curry in .curry (or a temporary directory)
Currently, the REPL generates a Curry_Main_Goal.curry
for the evaluated expression in the current directory. Since this potentially clutters up the workspace and may result in the file getting accidentally added to Git (if the user commits during a long compilation), it would be great if we could generate this file elsewhere, for example in .curry
(where the other compilation artifacts reside too) or just in a temporary folder. Generating the file in .curry
could potentially even have the advantage of being able to cache the expression for future invocations, though that of course would be out-of-scope for now.