Details
-
Type:
Bug
-
Status: Closed
-
Priority:
Major
-
Resolution: Declined
-
Affects versions: None
-
Fix versions: None
-
Components: None
-
Labels:
Description
(defn a [x :- Str] (.length x)) (contract [Int -> int] a) ;; this should also check the [String -> String] Contract
