about summary refs log tree commit diff
path: root/.rgignore
diff options
context:
space:
mode:
authorVincent Ambo <mail@tazj.in>2022-08-09T13·52+0300
committertazjin <tazjin@tvl.su>2022-08-13T11·50+0000
commite24248df3bba6c4df2028a7eb9e68660b1d3b4e7 (patch)
tree658db19ee9036e188f02b6b89b9514ffcfdffe8d /.rgignore
parent865717a8dbef9f89f2c32d0c86d970f3c21dbd9f (diff)
feat(tvix/value): add some necessary helpers for strings r/4425
Deriving Ord/Eq is required for the ordered BTreeMaps. Once interning
is implemented this will require some extra magic for the sort order,
but that's fine.

Change-Id: I0c654648eb3609a4a01d84868c25f43a4d35bc2e
Reviewed-on: https://cl.tvl.fyi/c/depot/+/6089
Tested-by: BuildkiteCI
Reviewed-by: grfn <grfn@gws.fyi>
Diffstat (limited to '.rgignore')
0 files changed, 0 insertions, 0 deletions