more test_snip improvements

jcupitt · jcupitt · commit 30fa23f44e48 · 2025-10-25T11:19:45.000+01:00
diff --git a/test/workspaces/test_snip.def b/test/workspaces/test_snip.def
@@ -86,9 +86,11 @@ tests = concat [
 }
 
 main
-    = (map (const '.') pass) ++
-      "\n" ++
-      (join_sep "\n" (map print_fail fail))
+    = (map (const '.') pass) ++ "\n" ++
+      if fail == [] then
+	"all tests pass"
+      else
+	error (concat (map print_fail fail))
 {
     split fn l
         = foldr split_item [[], []] l
@@ -107,5 +109,5 @@ main
     }
 
     [pass, fail] = split (extract 0) tests;
-    print_fail x = "FAIL: " ++ x?1;
+    print_fail x = "\n" ++ "FAIL: " ++ x?1;
 }

Original file line number	Diff line number	Diff line change
`@@ -86,9 +86,11 @@ tests = concat [`
`86`	`86`	`}`
`87`	`87`
`88`	`88`	`main`
`89`		`- = (map (const '.') pass) ++`
`90`		`- "\n" ++`
`91`		`- (join_sep "\n" (map print_fail fail))`
	`89`	`+ = (map (const '.') pass) ++ "\n" ++`
	`90`	`+ if fail == [] then`
	`91`	`+ "all tests pass"`
	`92`	`+ else`
	`93`	`+ error (concat (map print_fail fail))`
`92`	`94`	`{`
`93`	`95`	`split fn l`
`94`	`96`	`= foldr split_item [[], []] l`
`@@ -107,5 +109,5 @@ main`
`107`	`109`	`}`
`108`	`110`
`109`	`111`	`[pass, fail] = split (extract 0) tests;`
`110`		`- print_fail x = "FAIL: " ++ x?1;`
	`112`	`+ print_fail x = "\n" ++ "FAIL: " ++ x?1;`
`111`	`113`	`}`