diff options
author | Florian Klink <flokli@flokli.de> | 2024-06-25T17·37+0300 |
---|---|---|
committer | flokli <flokli@flokli.de> | 2024-06-26T04·51+0000 |
commit | 080654aaf9bd2f94d634008afd1dc26c74752eec (patch) | |
tree | 92b4604fab43544df4e1583011f000daa4100fc8 /tvix/docs/src/TODO.md | |
parent | 04f04cfc27f64f42e016a1eba37112f5f2418aa0 (diff) |
feat(tvix/eval): add file_type method r/8304
This allows peeking of the type at a given path. It's necessary, as an open() might not fail until you try to read() from it, and generally, stat'ing can be faster in some cases. Change-Id: Ib002da3194a3546ca286de49aac8d1022ec5560f Reviewed-on: https://cl.tvl.fyi/c/depot/+/11871 Tested-by: BuildkiteCI Reviewed-by: Ilan Joselevich <personal@ilanjoselevich.com> Reviewed-by: Connor Brewster <cbrewster@hey.com>
Diffstat (limited to 'tvix/docs/src/TODO.md')
0 files changed, 0 insertions, 0 deletions