@@ -17,6 +17,8 @@ main = defaultMain tests
1717parses :: String -> Bool
1818parses code = either (const False) (const True) (parseProgram code)
1919
20+parseFails = not . parses
21+
2022tests :: [TF.Test]
2123tests = [
2224 testGroup "String Assignments" [
@@ -31,4 +33,5 @@ prop_assignString i s =
3133
3234prop_invalidIdent :: ValidIdent -> InvalidIdentChar -> StringValue -> Bool
3335prop_invalidIdent i z s =
34− (not . parses) [qq|{i}{z} = "{s}"|]
36+ parseFails [qq|{i}{z} = "{s}"|]
37+