load .scryerrc before files and goals (#1775, #2313)

This commit is contained in:
Mark
2024-02-02 10:54:28 -07:00
parent 6fe8f64835
commit 7573c64087

View File

@@ -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([], []).