1use std::path::PathBuf;
2use std::rc::Rc;
3
4use rustc_hash::FxHashMap;
5use smol_str::SmolStr;
6use snix_build::buildservice;
7use snix_eval::{
8 ErrorKind, EvalIO, EvalMode, GlobalsMap, SourceCode, Value,
9 builtins::impure_builtins,
10 observer::{DisassemblingObserver, TracingObserver},
11};
12use snix_glue::{
13 builtins::{add_derivation_builtins, add_fetcher_builtins, add_import_builtins},
14 configure_nix_path,
15 snix_io::SnixIO,
16 snix_store_io::SnixStoreIO,
17};
18use std::fmt::Write;
19use tracing::{Span, info_span};
20use tracing_indicatif::span_ext::IndicatifSpanExt;
21
22pub mod args;
23pub mod assignment;
24pub mod repl;
25
26pub use args::Args;
27pub use repl::Repl;
28
29pub fn init_io_handle(tokio_runtime: &tokio::runtime::Runtime, args: &Args) -> Rc<SnixStoreIO> {
30 let (blob_service, directory_service, path_info_service, nar_calculation_service) =
31 tokio_runtime
32 .block_on(snix_store::utils::construct_services(
33 args.service_addrs.clone(),
34 ))
35 .expect("unable to setup {blob|directory|pathinfo}service before interpreter setup");
36
37 let build_service = tokio_runtime
38 .block_on({
39 let blob_service = blob_service.clone();
40 let directory_service = directory_service.clone();
41 async move {
42 buildservice::from_addr(
43 &args.build_service_addr,
44 blob_service.clone(),
45 directory_service.clone(),
46 )
47 .await
48 }
49 })
50 .expect("unable to setup buildservice before interpreter setup");
51
52 Rc::new(SnixStoreIO::new(
53 blob_service.clone(),
54 directory_service.clone(),
55 path_info_service,
56 nar_calculation_service.into(),
57 build_service.into(),
58 tokio_runtime.handle().clone(),
59 ))
60}
61
62#[derive(Debug, Clone, Copy, PartialEq, Eq, Default)]
63pub enum AllowIncomplete {
64 Allow,
65 #[default]
66 RequireComplete,
67}
68
69impl AllowIncomplete {
70 fn allow(&self) -> bool {
71 matches!(self, Self::Allow)
72 }
73}
74
75#[derive(Debug, Clone, Copy, PartialEq, Eq)]
76pub struct IncompleteInput;
77
78pub struct EvalResult {
79 value: Option<Value>,
80 globals: Rc<GlobalsMap>,
81}
82
83#[allow(clippy::too_many_arguments)]
85pub fn evaluate<E: std::io::Write + Clone + Send>(
86 stderr: &mut E,
87 snix_store_io: Rc<SnixStoreIO>,
88 code: &str,
89 path: Option<PathBuf>,
90 args: &Args,
91 allow_incomplete: AllowIncomplete,
92 env: Option<&FxHashMap<SmolStr, Value>>,
93 globals: Option<Rc<GlobalsMap>>,
94 source_map: Option<SourceCode>,
95) -> Result<EvalResult, IncompleteInput> {
96 let mut eval_builder = snix_eval::Evaluation::builder(Box::new(SnixIO::new(
97 snix_store_io.clone() as Rc<dyn EvalIO>,
98 )) as Box<dyn EvalIO>)
99 .enable_import()
100 .env(env);
101
102 if args.strict {
103 eval_builder = eval_builder.mode(EvalMode::Strict);
104 }
105
106 match globals {
107 Some(globals) => {
108 eval_builder = eval_builder.with_globals(globals);
109 }
110 None => {
111 eval_builder = eval_builder.add_builtins(impure_builtins());
112 eval_builder = add_derivation_builtins(eval_builder, Rc::clone(&snix_store_io));
113 eval_builder = add_fetcher_builtins(eval_builder, Rc::clone(&snix_store_io));
114 eval_builder = add_import_builtins(eval_builder, Rc::clone(&snix_store_io));
115 }
116 };
117 eval_builder = configure_nix_path(eval_builder, &args.nix_path());
118
119 if let Some(source_map) = source_map {
120 eval_builder = eval_builder.with_source_map(source_map);
121 }
122
123 let source_map = eval_builder.source_map().clone();
124
125 let mut compiler_observer = DisassemblingObserver::new(source_map.clone(), stderr.clone());
126 if args.dump_bytecode {
127 eval_builder.set_compiler_observer(Some(&mut compiler_observer));
128 }
129
130 let mut runtime_observer = TracingObserver::new(stderr.clone());
131 if args.trace_runtime {
132 if args.trace_runtime_timing {
133 runtime_observer.enable_timing()
134 }
135 eval_builder.set_runtime_observer(Some(&mut runtime_observer));
136 }
137
138 let eval = eval_builder.build();
139
140 let (result, globals) = info_span!("evaluate", indicatif.pb_show = tracing::field::Empty)
141 .in_scope(|| {
142 let span = Span::current();
143
144 if !args.trace_runtime && !args.dump_bytecode {
145 span.pb_set_message("Evaluating…");
146 span.pb_start();
147 }
148
149 let globals = eval.globals();
150 let result = eval.evaluate(code, path);
151 (result, globals)
152 });
153
154 if allow_incomplete.allow()
155 && result.errors.iter().any(|err| {
156 matches!(
157 &err.kind,
158 ErrorKind::ParseErrors(pes)
159 if pes.iter().any(|pe| matches!(pe, rnix::parser::ParseError::UnexpectedEOF))
160 )
161 })
162 {
163 return Err(IncompleteInput);
164 }
165
166 if args.display_ast {
167 if let Some(ref expr) = result.expr {
168 writeln!(stderr, "AST: {}", snix_eval::pretty_print_expr(expr)).unwrap();
169 }
170 }
171
172 for error in &result.errors {
173 error.fancy_format_write(stderr);
174 }
175
176 if !args.no_warnings {
177 for warning in &result.warnings {
178 warning.fancy_format_write(stderr, &source_map);
179 }
180 }
181
182 if let Some(dumpdir) = &args.drv_dumpdir {
183 std::fs::create_dir_all(dumpdir).expect("failed to create drv dumpdir");
185 snix_store_io
186 .known_paths
187 .borrow()
188 .get_derivations()
189 .filter(|(drv_path, _)| !dumpdir.join(drv_path.to_string()).exists())
191 .for_each(|(drv_path, drv)| {
192 std::fs::write(dumpdir.join(drv_path.to_string()), drv.to_aterm_bytes())
193 .expect("failed to write drv to dumpdir");
194 })
195 }
196
197 Ok(EvalResult {
198 globals,
199 value: result.value,
200 })
201}
202
203pub struct InterpretResult {
204 output: String,
205 success: bool,
206 pub(crate) globals: Option<Rc<GlobalsMap>>,
207}
208
209impl InterpretResult {
210 pub fn empty_success(globals: Option<Rc<GlobalsMap>>) -> Self {
211 Self {
212 output: String::new(),
213 success: true,
214 globals,
215 }
216 }
217
218 pub fn finalize<E: std::io::Write>(self, stderr: &mut E) -> bool {
219 write!(stderr, "{}", self.output).unwrap();
220 self.success
221 }
222
223 pub fn output(&self) -> &str {
224 &self.output
225 }
226
227 pub fn success(&self) -> bool {
228 self.success
229 }
230}
231
232#[allow(clippy::too_many_arguments)]
236pub fn interpret<E: std::io::Write + Clone + Send>(
237 stderr: &mut E,
238 snix_store_io: Rc<SnixStoreIO>,
239 code: &str,
240 path: Option<PathBuf>,
241 args: &Args,
242 explain: bool,
243 allow_incomplete: AllowIncomplete,
244 env: Option<&FxHashMap<SmolStr, Value>>,
245 globals: Option<Rc<GlobalsMap>>,
246 source_map: Option<SourceCode>,
247) -> Result<InterpretResult, IncompleteInput> {
248 let mut output = String::new();
249 let result = evaluate(
250 stderr,
251 snix_store_io,
252 code,
253 path,
254 args,
255 allow_incomplete,
256 env,
257 globals,
258 source_map,
259 )?;
260
261 if let Some(value) = result.value.as_ref() {
262 if explain {
263 writeln!(&mut output, "=> {}", value.explain()).unwrap();
264 } else if args.raw {
265 writeln!(&mut output, "{}", value.to_contextful_str().unwrap()).unwrap();
266 } else {
267 writeln!(&mut output, "=> {} :: {}", value, value.type_of()).unwrap();
268 }
269 }
270
271 Ok(InterpretResult {
273 output,
274 success: result.value.is_some(),
275 globals: Some(result.globals),
276 })
277}