[CTYP-70] Having trouble typing core.string/blank? Created: 24/Sep/13 Updated: 20/Jul/14 Resolved: 20/Jul/14
|Reporter:||Julian Birch||Assignee:||Ambrose Bonnaire-Sergeant|
(cf (ann core.string/blank? [String -> Boolean]))
(ann x [String -> Boolean])
Apologies if this is wrong.
|Comment by Ambrose Bonnaire-Sergeant [ 25/Sep/13 3:12 AM ]|
I think core.string/blank? should be clojure.string/blank?. Also cf is not allowed inside a typed file.
|Comment by Julian Birch [ 28/Sep/13 2:58 PM ]|
Clunk. You're absolutely right. Assuming there's no (cf) there, is there any way you could log an error for an annotation with no associated actual definition? Obviously, to be useful, it'd have to appear in the appropriate location in the file.
|Comment by Ambrose Bonnaire-Sergeant [ 28/Sep/13 10:16 PM ]|
I don't know. Perhaps at the end of type checking a namespace I can check if a var exists for each annotation. I don't think it's really feasible for REPL development though.