Dissimilar lengths of HVecs in a union doesn't type-check

Description

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:

Environment

[org.clojure/clojure "1.6.0"]
[org.clojure/core.typed "0.2.72"]
[org.clojure/core.match "0.2.1"]

Activity

Show:
Ambrose Bonnaire-Sergeant
December 3, 2017, 10:47 PM

Example not minimal, unclear if `match` is the problem

import
December 2, 2014, 8:49 PM

Comment made by: zerokarmaleft

Sorry, forgot JIRA eats formatting.

Completed
Your pinned fields
Click on the next to a field label to start pinning.

Assignee

Ambrose Bonnaire-Sergeant

Reporter

import