diff options
| author | Laurenz <laurmaedje@gmail.com> | 2023-01-27 12:05:00 +0100 |
|---|---|---|
| committer | Laurenz <laurmaedje@gmail.com> | 2023-01-27 12:05:12 +0100 |
| commit | 43ef60c09cc48f6b7c6dd752ab7af7c0d6071bc5 (patch) | |
| tree | 525320e583fc53e9474fd4b4d4944cdf8117d406 /src/lib.rs | |
| parent | c56299c6bde121807c3febbef0766ff2fe2b32f2 (diff) | |
Tracing-based expression tooltips
Diffstat (limited to 'src/lib.rs')
| -rw-r--r-- | src/lib.rs | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -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()) |
