Setting up a simple union type for nats with a vector encoding, where the first element is the tag (:zero or :succ). The :zero constructor is nullary, but the :succ constructor recurses. The type checker doesn't seem to correctly handle union types consisting of HVecs of different lengths
The namespace:
The inserted print-env yields:
And the full stack trace:
[org.clojure/clojure "1.6.0"]
[org.clojure/core.typed "0.2.72"]
[org.clojure/core.match "0.2.1"]
Comment made by: zerokarmaleft
Sorry, forgot JIRA eats formatting.
Example not minimal, unclear if `match` is the problem