Permalink
Browse files

Added another check

  • Loading branch information...
1 parent abc156a commit be8bd61d17bd703363c5a515cf1b1880a8c10cbc @fogus fogus committed Mar 20, 2013
Showing with 3 additions and 1 deletion.
  1. +1 −0 .gitignore
  2. +2 −1 src/joy/contracts.clj
View
@@ -3,3 +3,4 @@ lib
*.jar
docs
.DS_Store
+target
View
@@ -40,9 +40,10 @@
(defcontract doubler
[x]
(require
+ (number? x)
(pos? x))
(ensure
(= (* 2 x) %))))
(def times2 (partial doubler-contract #(* 2 %))) ;; #2_contract_comp: Test correct fn
- ;; [compose_contract]: Composition of contract function and constrained function
+

0 comments on commit be8bd61

Please sign in to comment.