Giters

aiken-lang / stdlib

The Aiken Standard Library

Home Page:https://aiken-lang.github.io/stdlib

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

cbor diagnostic on OutputReference does not include output index

MicroProofs opened this issue · comments

commented

When using diagnostic on output reference I get
121([_ 121([_ h'4D268FB8390F468B452EE1723A39655E1D097D4CD0B1E4DFE7B9C626D3B55BB0']), ])
as the trace. I think the issue is diagnostic ignores the second constr field.

commented

Funnily enough, the issue wasn't on the constr variant, but on how integers are turned to string. More specifically, the integer 0 would simply be omitted if nested into some other structure. Now fixed :)