From: Mark Date: Fri, 2 Feb 2024 17:54:28 +0000 (-0700) Subject: load .scryerrc before files and goals (#1775, #2313) X-Git-Tag: v0.9.4~16 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=7573c64087a1ca1b54138fcff388326a606bc707;p=scryer-prolog.git load .scryerrc before files and goals (#1775, #2313) --- diff --git a/src/toplevel.pl b/src/toplevel.pl index 820d91d0..a3cee9a0 100644 --- a/src/toplevel.pl +++ b/src/toplevel.pl @@ -28,6 +28,7 @@ load_scryerrc :- '$repl' :- asserta('$toplevel':started), + (\+ disabled_init_file -> load_scryerrc ; true), raw_argv(Args0), ( append(Args1, ["--"|_], Args0) -> Args = Args1 @@ -37,7 +38,6 @@ load_scryerrc :- delegate_task(TaskArgs, []) ; true ), - (\+ disabled_init_file -> load_scryerrc ; true), repl. delegate_task([], []).