Skip to content

Commit

Permalink
Browse files Browse the repository at this point in the history
Added in-place fn test of partial contract with no ensures applied to…
… in-place fn
  • Loading branch information
fogus committed Jan 15, 2013
1 parent f068c6e commit 332bac4
Showing 1 changed file with 20 additions and 0 deletions.
20 changes: 20 additions & 0 deletions src/test/clojure/clojure/core/contracts_tests.clj
Expand Up @@ -81,5 +81,25 @@
(is (thrown? Error ((partial doubler-contract-no-requires-and-isolated-fn #(* 2 %)) -5)))
(is (thrown? Error ((partial doubler-contract-no-requires-and-isolated-fn #(* 3 %)) 5)))))

(deftest test-partial-contract-no-ensures
(let [doubler-contract-no-ensures
(contract doubler
"Test"
[x] [(pos? x)])]

(is (= 10 ((partial doubler-contract-no-ensures #(* 2 %)) 5)))
(is (= 15 ((partial doubler-contract-no-ensures #(* 3 %)) 5)))
(is (thrown? Error ((partial doubler-contract-no-ensures #(* 2 %)) -5)))))

(deftest test-partial-contract-no-ensures-and-isolated-fn
(let [doubler-contract-no-ensures-and-isolated-fn
(contract doubler
"Test"
[x] [pos?])]

(is (= 10 ((partial doubler-contract-no-ensures-and-isolated-fn #(* 2 %)) 5)))
(is (= 15 ((partial doubler-contract-no-ensures-and-isolated-fn #(* 3 %)) 5)))
(is (thrown? Error ((partial doubler-contract-no-ensures-and-isolated-fn #(* 2 %)) -5)))))

(deftest test-regressions
(defer "regression testing"))

0 comments on commit 332bac4

Please sign in to comment.