Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Tree: 05369b9cbc
Fetching contributors…

Cannot retrieve contributors at this time

43 lines (35 sloc) 1.354 kB
(ns clojure.core.typed.util-vars)
(defonce ^:skip-wiki ^:dynamic *current-env* nil)
(defonce ^:skip-wiki ^:dynamic *current-expr* nil)
(defonce ^:dynamic
^{:doc
"If true, print fully qualified types in error messages
and return values. Bind around a type checking form like
cf or check-ns.
eg.
(binding [*verbose-types* true]
(cf 1 Number))
;=> java.lang.Number"}
*verbose-types*
nil)
(defonce ^:dynamic
^{:doc
"If true, print complete forms in error messages. Bind
around a type checking form like cf or check-ns.
eg.
(binding [*verbose-forms* true]
(cf ['deep ['deep ['deep ['deep]]]] Number))
;=> <full form in error>"}
*verbose-forms*
nil)
(defonce ^:dynamic
^{:doc "If true, print tracing information during type checking."}
*trace-checker*
nil)
(def ^:skip-wiki ^:dynamic *currently-loading* false)
(defonce ^{:doc "True during type checking."} ^:dynamic *checking* nil)
(defonce ^{:doc "Internal use only"} ^:skip-wiki ^:dynamic *already-collected* nil)
(defonce ^{:doc "Internal use only"} ^:skip-wiki ^:dynamic *already-checked* nil)
(defonce ^{:doc "Internal use only"} ^:skip-wiki ^:dynamic *delayed-errors* nil)
(defonce ^{:doc "Internal use only"} ^:skip-wiki ^:dynamic *analyze-ns-cache* nil)
(defonce ^{:doc "Internal use only"} ^:skip-wiki ^:dynamic *checked-asts* nil)
Jump to Line
Something went wrong with that request. Please try again.