From 342b233a0a626aaad4ea32b1e5bf4f873afe7206 Mon Sep 17 00:00:00 2001 From: Vincent Ambo Date: Sat, 13 Aug 2022 20:17:25 +0300 Subject: feat(tvix/eval): add local identifier access This makes basic `let ... in ...` statements work correctly. It does not yet account for the call frames pushed into the VM during function application. Change-Id: I67155171daf1a43011b96716dd9d1ab04b27db33 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6190 Tested-by: BuildkiteCI Reviewed-by: grfn --- tvix/eval/src/errors.rs | 3 +++ 1 file changed, 3 insertions(+) (limited to 'tvix/eval/src/errors.rs') diff --git a/tvix/eval/src/errors.rs b/tvix/eval/src/errors.rs index a0e3808225..4b4610f1e9 100644 --- a/tvix/eval/src/errors.rs +++ b/tvix/eval/src/errors.rs @@ -29,6 +29,9 @@ pub enum Error { // Dynamic keys are not allowed in let. DynamicKeyInLet(rnix::SyntaxNode), + + // Unknown variable in statically known scope. + UnknownStaticVariable(rnix::types::Ident), } impl Display for Error { -- cgit 1.4.1