Skip to content

History

New page
Showing with 3 additions and 2 deletions.
  1. +3 −2 User Guide.md
5 changes: 3 additions & 2 deletions User Guide.md
View file
Expand Up @@ -188,12 +188,14 @@ so it would be a warning if the var was only `declare`d.
(defn bar [b]
(+ 2 (foo b)))

;(check-ns)
;clojure.core.typed.test.nocheck=> (check-ns)
; ...
; WARNING: Var clojure.core.typed.test.var-usage/foo used without checking definition
;=> nil
```

Note that [check-ns](http://clojure.github.io/core.typed/#clojure.core.typed/check-ns) must be called at the REPL or in a unit test.

## Functions

There are several ways to annotate a function type.
Expand Down Expand Up @@ -555,4 +557,3 @@ Use `clojure.core.typed/doseq>` instead of `doseq`.
:when a]
(inc a))
```