diff options
author | sterni <sternenseemann@systemli.org> | 2023-01-25T13·39+0100 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2023-01-25T14·30+0000 |
commit | 8a8325fb9d2cfaf7c208db0f7d676dcab9c4eba0 (patch) | |
tree | e7f106b49e3f5ac073da9d67e8f77f34a24a7ff3 /README.md | |
parent | 669496f0ba4924b19c911220b9290aa45db9f89c (diff) |
docs(tvix/eval): builtins.add is not equivalent to + r/5758
While it is in the given example, i.e. for integer addition, to claim that they are equivalent is a bit misleading: builtins.add is less overloaded than +, i.e. builtins.add "foo" "bar" will fail whereas "foo" + "bar" performs string concatenation. Change-Id: Ib52d530d1ab289b367565b286f06a76dd518d4fb Reviewed-on: https://cl.tvl.fyi/c/depot/+/7929 Autosubmit: sterni <sternenseemann@systemli.org> Reviewed-by: flokli <flokli@flokli.de> Tested-by: BuildkiteCI
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions