Match failure when combining Unions and expression types #36
Description
It appears that attempting to create an @match that uses unions and expression types results in no matches being found. A few examples:
This works:
julia> @match :(x[1]) begin
(v_ref) => (v)
end
:(x[1])But adding a union gives no match:
julia> @match :(x[1]) begin
(v_ref |
(v_ref <= ub_)) => (v)
endRemoving the _ref tag fixes it:
julia> @match :(x[1]) begin
(v_ |
(v_ <= ub_)) => (v)
end
:(x[1])Similarly, with a _Symbol tag, this works:
julia> @match :(x) begin
(v_Symbol) => (v)
end
:xand this doesn't:
@match :(x) begin
(v_Symbol |
(v_Symbol <= ub_)) => (v)
endDo unions just not support type restrictions?