From a422bf5abded95b216f67380d5113f014a912904 Mon Sep 17 00:00:00 2001 From: Noah Treuhaft Date: Wed, 25 Mar 2026 14:30:58 -0400 Subject: [PATCH] fix nested named types in ztests u1=(u2=int64|u3=string) parses as (u1=(u2=int64))|(u3=string), containing a nested named type, instead of the intended named union of named types, u1=((u2=int64)|(u3=string)). --- runtime/ztests/op/blend.yaml | 4 ++-- runtime/ztests/op/fuse.yaml | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/runtime/ztests/op/blend.yaml b/runtime/ztests/op/blend.yaml index b83200521..31fca1036 100644 --- a/runtime/ztests/op/blend.yaml +++ b/runtime/ztests/op/blend.yaml @@ -115,8 +115,8 @@ input: | [1::=a1]::=a2 |[1::=s1]|::=s2 |{1::=m1:2::=m2}|::=m3 + 1::=u1::(u2=(u1|(u3=string))) "a"::en1=enum(a,b) - 1::u1=(u2=int64|u3=string) error(1::=er1)::=er2 output: | @@ -125,6 +125,6 @@ output: | [1::=a1]::(int64|(u3=string)|{a:r1=int64}|[a1]||[s1=int64]|||{m1=int64:m2=int64}||enum(a,b)|error(er1=int64)) |[1::=s1]|::(int64|(u3=string)|{a:r1=int64}|[a1=int64]||[s1]|||{m1=int64:m2=int64}||enum(a,b)|error(er1=int64)) |{1::=m1:2::=m2}|::(int64|(u3=string)|{a:r1=int64}|[a1=int64]||[s1=int64]|||{m1:m2}||enum(a,b)|error(er1=int64)) - "a"::enum(a,b)::(int64|(u3=string)|{a:r1=int64}|[a1=int64]||[s1=int64]|||{m1=int64:m2=int64}||enum(a,b)|error(er1=int64)) 1::(int64|(u3=string)|{a:r1=int64}|[a1=int64]||[s1=int64]|||{m1=int64:m2=int64}||enum(a,b)|error(er1=int64)) + "a"::enum(a,b)::(int64|(u3=string)|{a:r1=int64}|[a1=int64]||[s1=int64]|||{m1=int64:m2=int64}||enum(a,b)|error(er1=int64)) error(1::=er1)::(int64|(u3=string)|{a:r1=int64}|[a1=int64]||[s1=int64]|||{m1=int64:m2=int64}||enum(a,b)|error(er1=int64)) diff --git a/runtime/ztests/op/fuse.yaml b/runtime/ztests/op/fuse.yaml index 573dcc8d4..a344fe52c 100644 --- a/runtime/ztests/op/fuse.yaml +++ b/runtime/ztests/op/fuse.yaml @@ -115,8 +115,8 @@ input: | [1::=a1]::=a2 |[1::=s1]|::=s2 |{1::=m1:2::=m2}|::=m3 + 1::=u1::(u2=(u1|(u3=string))) "a"::en1=enum(a,b) - 1::u1=(u2=int64|u3=string) error(1::=er1)::=er2 output: | @@ -125,6 +125,6 @@ output: | fusion([1::=a1]::(int64|(u3=string)|{a:r1=int64}|[a1]||[s1=int64]|||{m1=int64:m2=int64}||enum(a,b)|error(er1=int64)),) fusion(|[1::=s1]|::(int64|(u3=string)|{a:r1=int64}|[a1=int64]||[s1]|||{m1=int64:m2=int64}||enum(a,b)|error(er1=int64)),) fusion(|{1::=m1:2::=m2}|::(int64|(u3=string)|{a:r1=int64}|[a1=int64]||[s1=int64]|||{m1:m2}||enum(a,b)|error(er1=int64)),) + fusion(1::(int64|(u3=string)|{a:r1=int64}|[a1=int64]||[s1=int64]|||{m1=int64:m2=int64}||enum(a,b)|error(er1=int64)),) fusion("a"::enum(a,b)::(int64|(u3=string)|{a:r1=int64}|[a1=int64]||[s1=int64]|||{m1=int64:m2=int64}||enum(a,b)|error(er1=int64)),) - fusion(1::(int64|(u3=string)|{a:r1=int64}|[a1=int64]||[s1=int64]|||{m1=int64:m2=int64}||enum(a,b)|error(er1=int64)),) fusion(error(1::=er1)::(int64|(u3=string)|{a:r1=int64}|[a1=int64]||[s1=int64]|||{m1=int64:m2=int64}||enum(a,b)|error(er1=int64)),)