@@ -41,4 +41,18 @@ main = do
4141 assert (4 % (9 / 3) == 1) "4 % (9 / 3) == 1"
4242 assert ((4 % 9) / 2 == 2) "(4 % 9) / 2 == 2"
4343
44− assert (not (1 < 0) == true) "not (1 < 0) == true"
44+ assert (not (1 < 0) == true) "not (1 < 0) == true"
45+ assert (not (complement (1 + 10) == 8) == true) "not (complement (1 + 10) == 8) == true"
46+ assert (not ((negate 1) < 0) == false) "not ((negate 1) < 0) == false"
47+
48+ assert (negate (1 + 10) == -11) "negate (1 + 10) == -11"
49+
50+ assert (2 * 3 / 4 == 1.5) "2 * 3 / 4 == 1.5"
51+ assert (1 * 2 * 3 * 4 * 5 / 6 == 20) "1 * 2 * 3 * 4 * 5 / 6 == 20"
52+ assert (complement (2 / 3 * 4) == -3) "complement (2 / 3 * 4) == -3"
53+
54+ assert (1 + 10 - 5 == 6) "1 + 10 - 5 == 6"
55+ assert (1 + 10 * 5 == 51) "1 + 10 * 5 == 51"
56+ assert (10 * 5 - 1 == 49) "10 * 5 - 1 == 49"
57+
58+ trace "Success!"