diff options
author | Griffin Smith <root@gws.fyi> | 2022-10-23T17·50-0400 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-10-29T14·04+0000 |
commit | 3412ae495661e8073075bbb8c24ee0098ca2bede (patch) | |
tree | 9fa4775f7b059f855ae29e9aa895053bce8236a2 /tvix/.gitignore | |
parent | d0a836b0e1ee1034144d1e5b71df6ab285c8450e (diff) |
feat(tvix/eval): Implement builtins.sort r/5222
This is a bit tricky because the comparator can throw errors, so we need to propagate them out if they exist and try to avoid sorting forever by returning a reasonable ordering in this case (as short-circuiting is not available). Co-Authored-By: Vincent Ambo <tazjin@tvl.su> Change-Id: Icae1d30f43ec1ae64b2ba51e73ee467605686792 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7072 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
Diffstat (limited to 'tvix/.gitignore')
0 files changed, 0 insertions, 0 deletions