Set 5a: better error message for weird constructors

This commit is contained in:
Joel Kaasinen
2021-08-09 17:48:05 +03:00
parent ccd968d8c9
commit f6b713d8e8
+1 -1
View File
@@ -32,7 +32,7 @@ tests = [(1,"Vehicle",[ex1])
-- -- -- -- -- -- -- -- -- -- -- -- -- -- -- --
assertNormalConstructor (Constructor _ _) = property True assertNormalConstructor (Constructor _ _) = property True
assertNormalConstructor (Weird n) = counterexample (" constructor "++n++" is weird. Make it normal.") False assertNormalConstructor (Weird n) = counterexample (" constructor "++n++" is not a normal constructor. Perhaps it's a record constructor or an infix constructor? Make it normal.") False
assertNoFields (Constructor n vs) = counterexample (" constructor "++n++" should have no fields") $ null vs assertNoFields (Constructor n vs) = counterexample (" constructor "++n++" should have no fields") $ null vs
assertNoFields _ = property True assertNoFields _ = property True