diff options
| author | Jack Koenig | 2021-03-13 18:38:20 -0800 |
|---|---|---|
| committer | GitHub | 2021-03-14 02:38:20 +0000 |
| commit | fd55c51bcef01c2b2919817aa33c67e5a0849d05 (patch) | |
| tree | 309cfe0f72b8bf6e9cc10b4a98d32e6f6054da44 /scripts | |
| parent | ed1eb88d6ccdccd4b5802676cd8b69f5cc357e4f (diff) | |
Fix cat of zero-width SInt (#2116)
Previously, concatenating two SInts where one is of zero-width would
return the non-zero-width SInt. This is incorrect because the output of
Cat should be of type UInt. Now the ZeroWidth transform will introduce a
cast when removing a Cat when the argument type is non-UInt.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions