From: William Kral <william.kral@gmail.com>
Date: Tue, 5 Apr 2022 06:58:20 +0000 (-0700)
Subject: Fix indentation before false in tests (#676)
X-Git-Tag: v0.9.1~78^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=181185bad6d1a34770fc955a16873f22abac378b;p=scryer-prolog.git

Fix indentation before false in tests (#676)
---

diff --git a/tests/scryer/issues.rs b/tests/scryer/issues.rs
index 3c207471..12440851 100644
--- a/tests/scryer/issues.rs
+++ b/tests/scryer/issues.rs
@@ -30,9 +30,9 @@ fn do_not_duplicate_path_components() {
         halt.\n\
         ",
         "\
-        caught: e\n\
+        caught: e\n   \
         false.\n\
-        caught: e\n\
+        caught: e\n   \
         false.\n\
         ",
     );
@@ -57,10 +57,10 @@ fn handle_residual_goal() {
         ",
         "   \
         true.\n   \
-        true.\n\
+        true.\n   \
         false.\n   \
         X = - X.\n   \
-        dif:dif(- X,X).\n\
+        dif:dif(- X,X).\n   \
         false.\n   \
         Vars = [X], dif:dif(- X,X).\n   \
         true.\n   \
@@ -79,7 +79,7 @@ fn occurs_check_flag() {
          f(X, X).\n\
          halt.\n\
         ",
-        "false.\n",
+        "   false.\n",
     )
 }
 
@@ -95,10 +95,10 @@ fn occurs_check_flag2() {
             halt.\n\
             ",
         "   \
-            true.\n\
+            true.\n   \
+            false.\n   \
+            true.\n   \
             false.\n   \
-            true.\n\
-            false.\n\
             false.\n\
             ",
     )
@@ -136,7 +136,7 @@ fn no_stutter() {
     run_top_level_test_no_args("write(a), write(b), false.\n\
                                 halt.\n\
                                 ",
-                               "abfalse.\n")
+                               "ab   false.\n")
 }
 
 /*