diff options
author | Vincent Ambo <mail@tazj.in> | 2022-08-12T14·30+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-08-27T09·27+0000 |
commit | 1d86c4537ea9e693e497407972b23d47bab53969 (patch) | |
tree | c95f2cfed9f9b6d423af35fcb16ca917131548d2 /.git-blame-ignore-revs | |
parent | 0a09356f823f53044f92d44e04289d0f051cfc08 (diff) |
refactor(tvix/eval): use `write!` macro instead of `f.write_fmt` r/4514
grfn pointed out in cl/6082 that this is actually the desugaring of the write! macro, so it doesn't make sense to write it out. Change-Id: If7c055b042ad22b034722aec1eaadba92736d684 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6180 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org> Reviewed-by: grfn <grfn@gws.fyi>
Diffstat (limited to '.git-blame-ignore-revs')
0 files changed, 0 insertions, 0 deletions