From 14b08df4881a0c62443ced0d683cc86cda4798b1 Mon Sep 17 00:00:00 2001 From: Nick Smallbone Date: Fri, 15 Mar 2024 13:24:37 +0100 Subject: [PATCH] Add another test to test-hugs because why not --- test-hugs | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/test-hugs b/test-hugs index 81dd4566..f4140232 100755 --- a/test-hugs +++ b/test-hugs @@ -19,8 +19,11 @@ die() { dotest() { echo "$2" | hugs -98 -Pquickcheck-hugs: -p'> ' "$1" | tee hugs.output - grep "$3" hugs.output || die + grep -q "$3" hugs.output || die } # Simple tests dotest Test.QuickCheck 'quickCheck $ \xs -> reverse (reverse xs) === (xs :: [Int])' "OK, passed 100 tests." +dotest Test.QuickCheck 'quickCheck $ \xs -> reverse xs === (xs :: [Int])' "\[0,1\]" +echo +echo 'All tests passed!'