about summary refs log tree commit diff
path: root/tvix/eval/src/compiler
diff options
context:
space:
mode:
authorVincent Ambo <mail@tazj.in>2022-10-06T11·33+0300
committertazjin <tazjin@tvl.su>2022-10-08T10·58+0000
commit50baf0bcfc5ce29f7eed114535e7bb27ffd06cb6 (patch)
treed23430409970fbf3cb3e323986093e3394db216d /tvix/eval/src/compiler
parentf3c089ae3e10c22f849e4970e5e3bde0b6ce291f (diff)
refactor(tvix/eval): move `spans` module to crate root r/5057
This is also useful for error-handling related logic, outside of just
the compiler module.

Change-Id: I5c386e2b4c31cda0a0209b31136ca07f00e39e45
Reviewed-on: https://cl.tvl.fyi/c/depot/+/6869
Tested-by: BuildkiteCI
Reviewed-by: grfn <grfn@gws.fyi>
Diffstat (limited to 'tvix/eval/src/compiler')
-rw-r--r--tvix/eval/src/compiler/mod.rs9
-rw-r--r--tvix/eval/src/compiler/spans.rs84
2 files changed, 7 insertions, 86 deletions
diff --git a/tvix/eval/src/compiler/mod.rs b/tvix/eval/src/compiler/mod.rs
index 472f4aaf363d..1463bb100eae 100644
--- a/tvix/eval/src/compiler/mod.rs
+++ b/tvix/eval/src/compiler/mod.rs
@@ -15,7 +15,6 @@
 
 mod bindings;
 mod scope;
-mod spans;
 
 use codemap::Span;
 use path_clean::PathClean;
@@ -31,11 +30,11 @@ use crate::chunk::Chunk;
 use crate::errors::{Error, ErrorKind, EvalResult};
 use crate::observer::CompilerObserver;
 use crate::opcode::{CodeIdx, Count, JumpOffset, OpCode, UpvalueIdx};
+use crate::spans::ToSpan;
 use crate::value::{Closure, Lambda, Thunk, Value};
 use crate::warnings::{EvalWarning, WarningKind};
 
 use self::scope::{LocalIdx, LocalPosition, Scope, Upvalue, UpvalueKind};
-use self::spans::ToSpan;
 
 /// Represents the result of compiling a piece of Nix code. If
 /// compilation was successful, the resulting bytecode can be passed
@@ -99,6 +98,12 @@ struct Compiler<'observer> {
     observer: &'observer mut dyn CompilerObserver,
 }
 
+impl Compiler<'_> {
+    pub(super) fn span_for<S: ToSpan>(&self, to_span: &S) -> Span {
+        to_span.span_for(&self.file)
+    }
+}
+
 /// Compiler construction
 impl<'observer> Compiler<'observer> {
     pub(crate) fn new(
diff --git a/tvix/eval/src/compiler/spans.rs b/tvix/eval/src/compiler/spans.rs
deleted file mode 100644
index 6c11961e0eae..000000000000
--- a/tvix/eval/src/compiler/spans.rs
+++ /dev/null
@@ -1,84 +0,0 @@
-//! Utilities for dealing with span tracking in the compiler.
-
-use super::*;
-use codemap::{File, Span};
-use rowan::ast::AstNode;
-
-/// Trait implemented by all types from which we can retrieve a span.
-pub(super) trait ToSpan {
-    fn span_for(&self, file: &File) -> Span;
-}
-
-impl ToSpan for Span {
-    fn span_for(&self, _: &File) -> Span {
-        *self
-    }
-}
-
-impl ToSpan for rnix::SyntaxToken {
-    fn span_for(&self, file: &File) -> Span {
-        let rowan_span = self.text_range();
-        file.span.subspan(
-            u32::from(rowan_span.start()) as u64,
-            u32::from(rowan_span.end()) as u64,
-        )
-    }
-}
-
-impl ToSpan for rnix::SyntaxNode {
-    fn span_for(&self, file: &File) -> Span {
-        let rowan_span = self.text_range();
-        file.span.subspan(
-            u32::from(rowan_span.start()) as u64,
-            u32::from(rowan_span.end()) as u64,
-        )
-    }
-}
-
-/// Generates a `ToSpan` implementation for a type implementing
-/// `rowan::AstNode`. This is impossible to do as a blanket
-/// implementation because `rustc` forbids these implementations for
-/// traits from third-party crates due to a belief that semantic
-/// versioning truly could work (it doesn't).
-macro_rules! expr_to_span {
-    ( $type:path ) => {
-        impl ToSpan for $type {
-            fn span_for(&self, file: &File) -> Span {
-                self.syntax().span_for(file)
-            }
-        }
-    };
-}
-
-expr_to_span!(ast::Expr);
-expr_to_span!(ast::Apply);
-expr_to_span!(ast::Assert);
-expr_to_span!(ast::Attr);
-expr_to_span!(ast::AttrSet);
-expr_to_span!(ast::Attrpath);
-expr_to_span!(ast::AttrpathValue);
-expr_to_span!(ast::BinOp);
-expr_to_span!(ast::HasAttr);
-expr_to_span!(ast::Ident);
-expr_to_span!(ast::IdentParam);
-expr_to_span!(ast::IfElse);
-expr_to_span!(ast::Inherit);
-expr_to_span!(ast::Interpol);
-expr_to_span!(ast::Lambda);
-expr_to_span!(ast::LegacyLet);
-expr_to_span!(ast::LetIn);
-expr_to_span!(ast::List);
-expr_to_span!(ast::Literal);
-expr_to_span!(ast::PatBind);
-expr_to_span!(ast::Path);
-expr_to_span!(ast::Pattern);
-expr_to_span!(ast::Select);
-expr_to_span!(ast::Str);
-expr_to_span!(ast::UnaryOp);
-expr_to_span!(ast::With);
-
-impl Compiler<'_> {
-    pub(super) fn span_for<S: ToSpan>(&self, to_span: &S) -> Span {
-        to_span.span_for(&self.file)
-    }
-}