diff options
author | Vincent Ambo <mail@tazj.in> | 2022-09-01T13·38+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-09-07T19·10+0000 |
commit | c5a8b93eaff144d34361193a125a2da2a4a93ef7 (patch) | |
tree | 7c618d169ac8cd6b308a9cffffd2a18b2803e531 /tvix/.gitignore | |
parent | b9566da5c94c974eb3a25f66c6c86b90ccd02ca1 (diff) |
chore(tvix/eval): thread a codemap::File reference to the compiler r/4711
This instantiates a codemap outside of the compiler and passes a reference to the file currently under compilation to it. Note that the "file" might just be a REPL line. Change-Id: I131ae1ddb6d718e1374750da9ba0b99608c6058d Reviewed-on: https://cl.tvl.fyi/c/depot/+/6378 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
Diffstat (limited to 'tvix/.gitignore')
0 files changed, 0 insertions, 0 deletions