diff options
author | Florian Klink <flokli@flokli.de> | 2024-01-23T13·34+0200 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2024-01-25T11·37+0000 |
commit | 023e372583b7bcc71b5c301c49501cc72204068f (patch) | |
tree | 6ea7a216292fb4db2154285371535b714fff498d /fun/🕰️/OWNERS | |
parent | e1d25891638597b0085033fd99814fce83fab4b9 (diff) |
feat(tvix/eval): track pattern binding names r/7448
These need to be preserved at least for builtins.toXML. Also, we incorrectly only wrote an <attrspat> in case ellipsis was true, but that's not the case. Change-Id: I6bff9c47c2922f878d5c43e48280cda9c9ddb692 Reviewed-on: https://cl.tvl.fyi/c/depot/+/10686 Tested-by: BuildkiteCI Autosubmit: flokli <flokli@flokli.de> Reviewed-by: aspen <root@gws.fyi>
Diffstat (limited to 'fun/🕰️/OWNERS')
0 files changed, 0 insertions, 0 deletions