From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 9 May 2020 21:04:30 +0000 (-0600)
Subject: halt on Ctrl-D in toplevel (#473)
X-Git-Tag: v0.8.123~56
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=558795760245195670dcd0266b55e5518f301921;p=scryer-prolog.git

halt on Ctrl-D in toplevel (#473)
---

diff --git a/src/prolog/toplevel.pl b/src/prolog/toplevel.pl
index 6bece860..d8f8e8fb 100644
--- a/src/prolog/toplevel.pl
+++ b/src/prolog/toplevel.pl
@@ -127,6 +127,8 @@ instruction_match(Term, VarList) :-
 		                   print_exception_with_check(E))
                      )
     ;
+    Term = end_of_file -> halt
+    ;
     submit_query_and_print_results(Term, VarList)
     ).