API for passes.jvm.infer-tag - JVM-specific passes for tools.analyzer 0.6.4 (in development)


Full namespace name: clojure.tools.analyzer.passes.jvm.infer-tag

Overview





Public Variables and Functions



infer-tag

function
Usage: (infer-tag {:keys [tag form], :as ast})
Performs local type inference on the AST adds, when possible,
 one or more of the following keys to the AST:
 * :o-tag      represents the current type of the
               expression represented by the node
 * :tag        represents the type the expression represented by the
               node is required to have, possibly the same as :o-tag
 * :return-tag implies that the node will return a function whose
               invocation will result in a object of this type
 * :arglists   implies that the node will return a function with
               this arglists
 * :ignore-tag true when the node is untyped, does not imply that
               all untyped node will have this

Passes opts:
* :infer-tag/level  If :global, infer-tag will perform Var tag
                    inference
Source
Logo & site design by Tom Hickey.
Clojure auto-documentation system by Tom Faulhaber.