diff options
| author | binarycat <binarycat@envs.net> | 2024-06-02T17·58+0200 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2024-06-11T14·59+0000 |
| commit | beb7f57c73473598c51b14221c5e4996c81d2dde (patch) | |
| tree | e915fdeee0a6d483cb355f81495afc20b5dee6c8 /tvix/eval/src/properties.rs | |
| parent | 154e0d71e0712d2e354c6f795f71b25bf0949a72 (diff) | |
fix(tvix/eval): handle builtins.split matching the empty string r/8247
This prevents the following statements from looping endlessly: ``` builtins.split "(.*)" "" builtins.split "([abc]*)" "abc" builtins.split "(.*)" "abc" builtins.split ".*" "" ``` Cover these (and some more examples) in the test suite. Co-Authored-By: Florian Klink <flokli@flokli.de> Change-Id: Ibd339f971e0f4e3e5c229816e2be5a8e3836fec9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/11743 Autosubmit: flokli <flokli@flokli.de> Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su>
Diffstat (limited to 'tvix/eval/src/properties.rs')
0 files changed, 0 insertions, 0 deletions