summaryrefslogtreecommitdiff
path: root/src/lib.rs
diff options
context:
space:
mode:
authorLaurenz <laurmaedje@gmail.com>2023-01-27 12:05:00 +0100
committerLaurenz <laurmaedje@gmail.com>2023-01-27 12:05:12 +0100
commit43ef60c09cc48f6b7c6dd752ab7af7c0d6071bc5 (patch)
tree525320e583fc53e9474fd4b4d4944cdf8117d406 /src/lib.rs
parentc56299c6bde121807c3febbef0766ff2fe2b32f2 (diff)
Tracing-based expression tooltips
Diffstat (limited to 'src/lib.rs')
-rw-r--r--src/lib.rs4
1 files changed, 3 insertions, 1 deletions
diff --git a/src/lib.rs b/src/lib.rs
index e6410d84..4d4cbb8b 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -51,6 +51,7 @@ pub mod syntax;
use std::path::Path;
use comemo::{Prehashed, Track};
+use model::Tracer;
use crate::diag::{FileResult, SourceResult};
use crate::doc::Document;
@@ -63,7 +64,8 @@ use crate::util::Buffer;
pub fn compile(world: &(dyn World + 'static), source: &Source) -> SourceResult<Document> {
// Evaluate the source file into a module.
let route = Route::default();
- let module = model::eval(world.track(), route.track(), source)?;
+ let mut tracer = Tracer::default();
+ let module = model::eval(world.track(), route.track(), tracer.track_mut(), source)?;
// Typeset the module's contents.
model::typeset(world.track(), &module.content())