difftreelog
fix experimental features build
in: master
3 files changed
cmds/jrsonnet/src/main.rsdiffbeforeafterboth1use std::{2 fs::{create_dir_all, File},3 io::{Read, Write},4};56use clap::{CommandFactory, Parser};7use clap_complete::Shell;8use jrsonnet_cli::{GcOpts, ManifestOpts, MiscOpts, OutputOpts, StdOpts, TlaOpts, TraceOpts};9use jrsonnet_evaluator::{10 apply_tla, bail,11 error::{Error as JrError, ErrorKind},12 ResultExt, State, Val,13};1415#[cfg(feature = "mimalloc")]16#[global_allocator]17static GLOBAL: mimallocator::Mimalloc = mimallocator::Mimalloc;1819#[derive(Parser)]20enum SubOpts {21 /// Generate completions for specified shell22 Generate {23 /// Target shell name24 shell: Shell,25 },26}2728#[derive(Parser)]29#[clap(next_help_heading = "DEBUG")]30struct DebugOpts {31 /// Required OS stack size.32 /// This shouldn't be changed unless jrsonnet is failing with stack overflow error.33 #[clap(long, name = "size")]34 pub os_stack: Option<usize>,35}3637#[derive(Parser)]38#[clap(next_help_heading = "INPUT")]39struct InputOpts {40 /// Treat input as code, evaluate it instead of reading file.41 #[clap(long, short = 'e')]42 pub exec: bool,4344 /// Path to the file to be compiled if `--exec` is unset, otherwise code itself.45 pub input: Option<String>,4647 /// After executing input, apply specified code.48 /// Output of the initial input will be accessible using `_`.49 #[cfg(feature = "exp-apply")]50 #[clap(long)]51 pub exp_apply: Vec<String>,52}5354/// Jsonnet commandline interpreter (Rust implementation)55#[derive(Parser)]56#[clap(57 args_conflicts_with_subcommands = true,58 disable_version_flag = true,59 version,60 author61)]62struct Opts {63 #[clap(subcommand)]64 sub: Option<SubOpts>,65 /// Print version66 #[clap(long)]67 version: bool,6869 #[clap(flatten)]70 input: InputOpts,71 #[clap(flatten)]72 misc: MiscOpts,73 #[clap(flatten)]74 tla: TlaOpts,75 #[clap(flatten)]76 std: StdOpts,77 #[clap(flatten)]78 gc: GcOpts,7980 #[clap(flatten)]81 trace: TraceOpts,82 #[clap(flatten)]83 manifest: ManifestOpts,84 #[clap(flatten)]85 output: OutputOpts,86 #[clap(flatten)]87 debug: DebugOpts,88}8990// TODO: Add unix_sigpipe = "sig_dfl"91fn main() {92 let opts: Opts = Opts::parse();9394 if opts.version {95 print!("{}", Opts::command().render_version());96 std::process::exit(0)97 }9899 if let Some(sub) = opts.sub {100 match sub {101 SubOpts::Generate { shell } => {102 use clap_complete::generate;103 let app = &mut Opts::command();104 let buf = &mut std::io::stdout();105 generate(shell, app, "jrsonnet", buf);106 std::process::exit(0)107 }108 }109 }110111 let success = if let Some(size) = opts.debug.os_stack {112 std::thread::Builder::new()113 .stack_size(size * 1024 * 1024)114 .spawn(|| main_catch(opts))115 .expect("new thread spawned")116 .join()117 .expect("thread finished successfully")118 } else {119 main_catch(opts)120 };121 if !success {122 std::process::exit(1);123 }124}125126#[derive(thiserror::Error, Debug)]127enum Error {128 // Handled differently129 #[error("evaluation error")]130 Evaluation(JrError),131 #[error("io error")]132 Io(#[from] std::io::Error),133 #[error("input is not utf8 encoded")]134 Utf8(#[from] std::str::Utf8Error),135 #[error("missing input argument")]136 MissingInputArgument,137}138impl From<JrError> for Error {139 fn from(e: JrError) -> Self {140 Self::Evaluation(e)141 }142}143impl From<ErrorKind> for Error {144 fn from(e: ErrorKind) -> Self {145 Self::from(JrError::from(e))146 }147}148149fn main_catch(opts: Opts) -> bool {150 let trace = opts.trace.trace_format();151 if let Err(e) = main_real(opts) {152 if let Error::Evaluation(e) = e {153 let mut out = String::new();154 trace.write_trace(&mut out, &e).expect("format error");155 eprintln!("{out}");156 } else {157 eprintln!("{e}");158 }159 return false;160 }161 true162}163164fn main_real(opts: Opts) -> Result<(), Error> {165 let _gc_leak_guard = opts.gc.leak_on_exit();166 let _gc_print_stats = opts.gc.stats_printer();167 let _stack_depth_override = opts.misc.stack_size_override();168169 let import_resolver = opts.misc.import_resolver();170 let std = opts.std.context_initializer()?;171172 let mut s = State::builder();173 s.import_resolver(import_resolver).context_initializer(std);174 let s = s.build();175176 let input = opts.input.input.ok_or(Error::MissingInputArgument)?;177 let val = if opts.input.exec {178 s.evaluate_snippet("<cmdline>".to_owned(), &input as &str)?179 } else if input == "-" {180 let mut input = Vec::new();181 std::io::stdin().read_to_end(&mut input)?;182 let input_str = std::str::from_utf8(&input)?;183 s.evaluate_snippet("<stdin>".to_owned(), input_str)?184 } else {185 s.import(&input)?186 };187188 let tla = opts.tla.tla_opts()?;189 #[allow(unused_mut)]190 let mut val = apply_tla(s, &tla, val)?;191192 #[cfg(feature = "exp-apply")]193 for apply in opts.input.exp_apply {194 use jrsonnet_evaluator::{InitialUnderscore, Thunk};195 val = s.evaluate_snippet_with(196 "<exp_apply>".to_owned(),197 &apply,198 InitialUnderscore(Thunk::evaluated(val)),199 )?;200 }201202 let manifest_format = opts.manifest.manifest_format();203 if let Some(multi) = opts.output.multi {204 if opts.output.create_output_dirs {205 let mut dir = multi.clone();206 dir.pop();207 create_dir_all(dir)?;208 }209 let Val::Obj(obj) = val else {210 bail!(211 "value should be object for --multi manifest, got {}",212 val.value_type()213 )214 };215 for (field, data) in obj.iter(216 #[cfg(feature = "exp-preserve-order")]217 opts.manifest.preserve_order,218 ) {219 let data = data.with_description(|| format!("getting field {field} for manifest"))?;220221 let mut path = multi.clone();222 path.push(&field as &str);223 if opts.output.create_output_dirs {224 let mut dir = path.clone();225 dir.pop();226 create_dir_all(dir)?;227 }228 println!("{}", path.to_str().expect("path"));229 let mut file = File::create(path)?;230 write!(231 file,232 "{}",233 data.manifest(&manifest_format)234 .with_description(|| format!("manifesting {field}"))?,235 )?;236 if manifest_format.file_trailing_newline() {237 writeln!(file)?;238 }239 file.flush()?;240 }241 } else if let Some(path) = opts.output.output_file {242 if opts.output.create_output_dirs {243 let mut dir = path.clone();244 dir.pop();245 create_dir_all(dir)?;246 }247 let mut file = File::create(path)?;248 writeln!(file, "{}", val.manifest(manifest_format)?)?;249 } else {250 let output = val.manifest(manifest_format)?;251 if !output.is_empty() {252 println!("{output}");253 }254 }255256 Ok(())257}crates/jrsonnet-stdlib/src/arrays.rsdiffbeforeafterboth--- a/crates/jrsonnet-stdlib/src/arrays.rs
+++ b/crates/jrsonnet-stdlib/src/arrays.rs
@@ -70,7 +70,13 @@
#[builtin]
pub fn builtin_map_with_key(func: FuncVal, obj: ObjValue) -> Result<ObjValue> {
let mut out = ObjValueBuilder::new();
- for (k, v) in obj.iter() {
+ for (k, v) in obj.iter(
+ // Makes sense mapped object should be ordered the same way, should not break anything when the output is not ordered (the default).
+ // The thrown error might be different, but jsonnet
+ // does not specify the evaluation order.
+ #[cfg(feature = "exp-preserve-order")]
+ true,
+ ) {
let v = v?;
out.field(k.clone())
.value(func.evaluate_simple(&(k, v), false)?);
crates/jrsonnet-stdlib/src/misc.rsdiffbeforeafterboth--- a/crates/jrsonnet-stdlib/src/misc.rs
+++ b/crates/jrsonnet-stdlib/src/misc.rs
@@ -147,7 +147,14 @@
if equals(&a, &b)? {
return Ok(true);
}
- let format = JsonFormat::std_to_json(" ".to_owned(), "\n", ": ");
+ // TODO: Use debug output format
+ let format = JsonFormat::std_to_json(
+ " ".to_owned(),
+ "\n",
+ ": ",
+ #[cfg(feature = "exp-preserve-order")]
+ true,
+ );
let a = a.manifest(&format).description("<a> manifestification")?;
let b = b.manifest(&format).description("<b> manifestification")?;
bail!("assertion failed: A != B\nA: {a}\nB: {b}")
@@ -161,8 +168,30 @@
let Some(target) = target.as_obj() else {
return Ok(Val::Obj(patch));
};
- let target_fields = target.fields().into_iter().collect::<BTreeSet<IStr>>();
- let patch_fields = patch.fields().into_iter().collect::<BTreeSet<IStr>>();
+ let target_fields = target
+ .fields(
+ // FIXME: Makes no sense to preserve order for BTreeSet, it would be better to use IndexSet here?
+ // But IndexSet won't allow fast ordered union...
+ // // Makes sense to preserve source ordering where possible.
+ // // May affect evaluation order, but it is not specified by jsonnet spec.
+ // #[cfg(feature = "exp-preserve-order")]
+ // true,
+ #[cfg(feature = "exp-preserve-order")]
+ false,
+ )
+ .into_iter()
+ .collect::<BTreeSet<IStr>>();
+ let patch_fields = patch
+ .fields(
+ // No need to look at the patch field order, I think?
+ // New fields (that will be appended at the end) will be alphabeticaly-ordered,
+ // but it is fine for jsonpatch, I don't think people write jsonpatch in jsonnet,
+ // when they can use mixins.
+ #[cfg(feature = "exp-preserve-order")]
+ false,
+ )
+ .into_iter()
+ .collect::<BTreeSet<IStr>>();
let mut out = ObjValueBuilder::new();
for field in target_fields.union(&patch_fields) {