difftreelog
style fix clippy warnings
in: master
35 files changed
Cargo.lockdiffbeforeafterboth--- a/Cargo.lock
+++ b/Cargo.lock
@@ -68,6 +68,15 @@
checksum = "bef38d45163c2f1dde094a7dfd33ccf595c92905c8f8f4fdc18d06fb1037718a"
[[package]]
+name = "block-buffer"
+version = "0.10.3"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "69cce20737498f97b993470a6e536b8523f0af7892a4f928cceb1ac5e52ebe7e"
+dependencies = [
+ "generic-array",
+]
+
+[[package]]
name = "cc"
version = "1.0.73"
source = "registry+https://github.com/rust-lang/crates.io-index"
@@ -141,6 +150,45 @@
]
[[package]]
+name = "cpufeatures"
+version = "0.2.5"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "28d997bd5e24a5928dd43e46dc529867e207907fe0b239c3477d924f7f2ca320"
+dependencies = [
+ "libc",
+]
+
+[[package]]
+name = "crypto-common"
+version = "0.1.6"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "1bfb12502f3fc46cca1bb51ac28df9d618d813cdc3d2f25b9fe775a34af26bb3"
+dependencies = [
+ "generic-array",
+ "typenum",
+]
+
+[[package]]
+name = "digest"
+version = "0.10.5"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "adfbc57365a37acbd2ebf2b64d7e69bb766e2fea813521ed536f5d0520dcf86c"
+dependencies = [
+ "block-buffer",
+ "crypto-common",
+]
+
+[[package]]
+name = "generic-array"
+version = "0.14.6"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "bff49e947297f3312447abdca79f45f4738097cc82b06e72054d2223f601f1b9"
+dependencies = [
+ "typenum",
+ "version_check",
+]
+
+[[package]]
name = "getrandom"
version = "0.2.8"
source = "registry+https://github.com/rust-lang/crates.io-index"
@@ -304,6 +352,7 @@
"serde",
"serde_json",
"serde_yaml_with_quirks",
+ "sha2",
"structdump",
]
@@ -550,6 +599,17 @@
]
[[package]]
+name = "sha2"
+version = "0.10.6"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "82e6b795fe2e3b1e845bafcb27aa35405c4d47cdfc92af5fc8d3002f76cebdc0"
+dependencies = [
+ "cfg-if 1.0.0",
+ "cpufeatures",
+ "digest",
+]
+
+[[package]]
name = "smallvec"
version = "1.10.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
@@ -640,6 +700,12 @@
]
[[package]]
+name = "typenum"
+version = "1.15.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "dcf81ac59edc17cc8697ff311e8f5ef2d99fcbd9817b34cec66f90b6c3dfd987"
+
+[[package]]
name = "unicode-ident"
version = "1.0.5"
source = "registry+https://github.com/rust-lang/crates.io-index"
bindings/jsonnet/src/import.rsdiffbeforeafterboth--- a/bindings/jsonnet/src/import.rs
+++ b/bindings/jsonnet/src/import.rs
@@ -12,7 +12,7 @@
};
use jrsonnet_evaluator::{
- error::{Error::*, Result},
+ error::{ErrorKind::*, Result},
throw, FileImportResolver, ImportResolver,
};
use jrsonnet_gcmodule::Trace;
bindings/jsonnet/src/lib.rsdiffbeforeafterboth--- a/bindings/jsonnet/src/lib.rs
+++ b/bindings/jsonnet/src/lib.rs
@@ -1,3 +1,5 @@
+#![allow(clippy::box_default)]
+
#[cfg(feature = "interop")]
pub mod interop;
@@ -20,11 +22,11 @@
apply_tla,
function::TlaArg,
gc::GcHashMap,
+ manifest::{JsonFormat, ManifestFormat, ToStringFormat},
stack::set_stack_depth_limit,
- stdlib::manifest::{JsonFormat, ToStringFormat},
tb, throw,
trace::{CompactFormat, PathResolver, TraceFormat},
- FileImportResolver, IStr, ManifestFormat, Result, State, Val,
+ FileImportResolver, IStr, Result, State, Val,
};
/// WASM stub
@@ -193,7 +195,7 @@
let filename = parse_path(CStr::from_ptr(filename));
match vm
.state
- .import(&filename)
+ .import(filename)
.and_then(|val| apply_tla(vm.state.clone(), &vm.tla_args, val))
.and_then(|val| val.manifest(&vm.manifest_format))
{
@@ -286,7 +288,7 @@
let filename = parse_path(CStr::from_ptr(filename));
match vm
.state
- .import(&filename)
+ .import(filename)
.and_then(|val| apply_tla(vm.state.clone(), &vm.tla_args, val))
.and_then(|val| val_to_multi(val, &vm.manifest_format))
{
bindings/jsonnet/src/native.rsdiffbeforeafterboth--- a/bindings/jsonnet/src/native.rs
+++ b/bindings/jsonnet/src/native.rs
@@ -5,7 +5,7 @@
};
use jrsonnet_evaluator::{
- error::{Error, LocError},
+ error::{Error, ErrorKind},
function::builtin::{NativeCallback, NativeCallbackHandler},
tb,
typed::Typed,
@@ -38,7 +38,7 @@
cb: JsonnetNativeCallback,
}
impl NativeCallbackHandler for JsonnetNativeCallbackHandler {
- fn call(&self, args: &[Val]) -> Result<Val, LocError> {
+ fn call(&self, args: &[Val]) -> Result<Val, Error> {
let mut n_args = Vec::new();
for a in args {
n_args.push(Some(Box::new(a.clone())));
@@ -57,7 +57,7 @@
Ok(v)
} else {
let e = IStr::from_untyped(v).expect("error msg should be a string");
- Err(Error::RuntimeError(e).into())
+ Err(ErrorKind::RuntimeError(e).into())
}
}
}
cmds/jrsonnet/src/main.rsdiffbeforeafterboth--- a/cmds/jrsonnet/src/main.rs
+++ b/cmds/jrsonnet/src/main.rs
@@ -6,7 +6,11 @@
use clap::{CommandFactory, Parser};
use clap_complete::Shell;
use jrsonnet_cli::{ConfigureState, GeneralOpts, ManifestOpts, OutputOpts, TraceOpts};
-use jrsonnet_evaluator::{apply_tla, error::LocError, throw, ResultExt, State, Val};
+use jrsonnet_evaluator::{
+ apply_tla,
+ error::{Error as JrError, ErrorKind},
+ throw, ResultExt, State, Val,
+};
#[cfg(feature = "mimalloc")]
#[global_allocator]
@@ -96,7 +100,7 @@
enum Error {
// Handled differently
#[error("evaluation error")]
- Evaluation(LocError),
+ Evaluation(JrError),
#[error("io error")]
Io(#[from] std::io::Error),
#[error("input is not utf8 encoded")]
@@ -104,14 +108,14 @@
#[error("missing input argument")]
MissingInputArgument,
}
-impl From<LocError> for Error {
- fn from(e: LocError) -> Self {
+impl From<JrError> for Error {
+ fn from(e: JrError) -> Self {
Self::Evaluation(e)
}
}
-impl From<jrsonnet_evaluator::error::Error> for Error {
- fn from(e: jrsonnet_evaluator::error::Error) -> Self {
- Self::from(LocError::from(e))
+impl From<ErrorKind> for Error {
+ fn from(e: ErrorKind) -> Self {
+ Self::from(JrError::from(e))
}
}
crates/jrsonnet-cli/src/manifest.rsdiffbeforeafterboth--- a/crates/jrsonnet-cli/src/manifest.rs
+++ b/crates/jrsonnet-cli/src/manifest.rs
@@ -3,9 +3,10 @@
use clap::{Parser, ValueEnum};
use jrsonnet_evaluator::{
error::Result,
- stdlib::manifest::{JsonFormat, StringFormat, ToStringFormat, YamlFormat, YamlStreamFormat},
- ManifestFormat, State,
+ manifest::{JsonFormat, ManifestFormat, StringFormat, ToStringFormat, YamlStreamFormat},
+ State,
};
+use jrsonnet_stdlib::YamlFormat;
use crate::ConfigureState;
crates/jrsonnet-cli/src/tla.rsdiffbeforeafterboth--- a/crates/jrsonnet-cli/src/tla.rs
+++ b/crates/jrsonnet-cli/src/tla.rs
@@ -1,6 +1,6 @@
use clap::Parser;
use jrsonnet_evaluator::{
- error::{Error, Result},
+ error::{ErrorKind, Result},
function::TlaArg,
gc::GcHashMap,
IStr, State,
@@ -51,15 +51,15 @@
{
let source = Source::new_virtual(format!("<top-level-arg:{name}>").into(), code.into());
out.insert(
- (&name as &str).into(),
+ (name as &str).into(),
TlaArg::Code(
jrsonnet_parser::parse(
- &code,
+ code,
&ParserSettings {
source: source.clone(),
},
)
- .map_err(|e| Error::ImportSyntaxError {
+ .map_err(|e| ErrorKind::ImportSyntaxError {
path: source,
error: Box::new(e),
})?,
crates/jrsonnet-evaluator/src/ctx.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/ctx.rs
+++ b/crates/jrsonnet-evaluator/src/ctx.rs
@@ -4,8 +4,8 @@
use jrsonnet_interner::IStr;
use crate::{
- error::Error::*, gc::GcHashMap, map::LayeredHashMap, ObjValue, Pending, Result, State, Thunk,
- Val,
+ error::ErrorKind::*, gc::GcHashMap, map::LayeredHashMap, ObjValue, Pending, Result, State,
+ Thunk, Val,
};
#[derive(Trace)]
crates/jrsonnet-evaluator/src/error.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/error.rs
+++ b/crates/jrsonnet-evaluator/src/error.rs
@@ -74,7 +74,7 @@
#[allow(missing_docs)]
#[derive(Error, Debug, Clone, Trace)]
#[non_exhaustive]
-pub enum Error {
+pub enum ErrorKind {
#[error("intrinsic not found: {0}")]
IntrinsicNotFound(IStr),
@@ -211,14 +211,14 @@
}
#[cfg(feature = "anyhow-error")]
-impl From<anyhow::Error> for LocError {
+impl From<anyhow::Error> for Error {
fn from(e: anyhow::Error) -> Self {
- Self::new(Error::Other(Rc::new(e)))
+ Self::new(ErrorKind::Other(Rc::new(e)))
}
}
-impl From<Error> for LocError {
- fn from(e: Error) -> Self {
+impl From<ErrorKind> for Error {
+ fn from(e: ErrorKind) -> Self {
Self::new(e)
}
}
@@ -236,16 +236,16 @@
pub struct StackTrace(pub Vec<StackTraceElement>);
#[derive(Clone, Trace)]
-pub struct LocError(Box<(Error, StackTrace)>);
-impl LocError {
- pub fn new(e: Error) -> Self {
+pub struct Error(Box<(ErrorKind, StackTrace)>);
+impl Error {
+ pub fn new(e: ErrorKind) -> Self {
Self(Box::new((e, StackTrace(vec![]))))
}
- pub const fn error(&self) -> &Error {
+ pub const fn error(&self) -> &ErrorKind {
&(self.0).0
}
- pub fn error_mut(&mut self) -> &mut Error {
+ pub fn error_mut(&mut self) -> &mut ErrorKind {
&mut (self.0).0
}
pub const fn trace(&self) -> &StackTrace {
@@ -255,7 +255,7 @@
&mut (self.0).1
}
}
-impl Display for LocError {
+impl Display for Error {
fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
writeln!(f, "{}", self.0 .0)?;
for el in &self.0 .1 .0 {
@@ -269,7 +269,7 @@
Ok(())
}
}
-impl Debug for LocError {
+impl Debug for Error {
fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
f.debug_tuple("LocError").field(&self.0).finish()
}
@@ -294,7 +294,7 @@
}
}
-pub type Result<V, E = LocError> = std::result::Result<V, E>;
+pub type Result<V, E = Error> = std::result::Result<V, E>;
pub trait ResultExt: Sized {
#[must_use]
fn with_description<O: Into<String>>(self, msg: impl FnOnce() -> O) -> Self;
@@ -314,7 +314,7 @@
self.with_description_src(src, || msg)
}
}
-impl<T> ResultExt for Result<T, LocError> {
+impl<T> ResultExt for Result<T, Error> {
fn with_description<O: Into<String>>(mut self, msg: impl FnOnce() -> O) -> Self {
if let Err(e) = &mut self {
let trace = e.trace_mut();
@@ -348,9 +348,9 @@
return Err($w$(::$i)*$(($($tt)*))?.into())
};
($l:literal) => {
- return Err($crate::error::Error::RuntimeError($l.into()).into())
+ return Err($crate::error::ErrorKind::RuntimeError($l.into()).into())
};
($l:literal, $($tt:tt)*) => {
- return Err($crate::error::Error::RuntimeError(format!($l, $($tt)*).into()).into())
+ return Err($crate::error::ErrorKind::RuntimeError(format!($l, $($tt)*).into()).into())
};
}
crates/jrsonnet-evaluator/src/evaluate/destructure.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/evaluate/destructure.rs
+++ b/crates/jrsonnet-evaluator/src/evaluate/destructure.rs
@@ -3,7 +3,7 @@
use jrsonnet_parser::{BindSpec, Destruct, LocExpr, ParamsDesc};
use crate::{
- error::{Error::*, Result},
+ error::{ErrorKind::*, Result},
evaluate, evaluate_method, evaluate_named,
gc::GcHashMap,
tb, throw,
crates/jrsonnet-evaluator/src/evaluate/mod.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/evaluate/mod.rs
+++ b/crates/jrsonnet-evaluator/src/evaluate/mod.rs
@@ -11,14 +11,14 @@
use self::destructure::destruct;
use crate::{
destructure::evaluate_dest,
- error::Error::*,
+ error::ErrorKind::*,
evaluate::operator::{evaluate_add_op, evaluate_binary_op_special, evaluate_unary_op},
function::{CallLocation, FuncDesc, FuncVal},
tb, throw,
typed::Typed,
val::{ArrValue, CachedUnbound, IndexableVal, Thunk, ThunkValue},
- Context, GcHashMap, LocError, ObjValue, ObjValueBuilder, ObjectAssertion, Pending, Result,
- ResultExt, State, Unbound, Val,
+ Context, GcHashMap, ObjValue, ObjValueBuilder, ObjectAssertion, Pending, Result, State,
+ Unbound, Val,
};
pub mod destructure;
pub mod operator;
@@ -165,7 +165,7 @@
uctx: B,
field: &FieldMember,
) -> Result<()> {
- let name = evaluate_field_name(ctx.clone(), &field.name)?;
+ let name = evaluate_field_name(ctx, &field.name)?;
let Some(name) = name else {
return Ok(());
};
@@ -187,11 +187,7 @@
impl<B: Unbound<Bound = Context>> Unbound for UnboundValue<B> {
type Bound = Val;
fn bind(&self, sup: Option<ObjValue>, this: Option<ObjValue>) -> Result<Val> {
- Ok(evaluate_named(
- self.uctx.bind(sup, this)?,
- &self.value,
- self.name.clone(),
- )?)
+ evaluate_named(self.uctx.bind(sup, this)?, &self.value, self.name.clone())
}
}
@@ -201,9 +197,9 @@
.with_visibility(*visibility)
.with_location(value.1.clone())
.bindable(tb!(UnboundValue {
- uctx: uctx.clone(),
+ uctx,
value: value.clone(),
- name: name.clone()
+ name,
}))?;
}
FieldMember {
@@ -236,10 +232,10 @@
.with_visibility(*visibility)
.with_location(value.1.clone())
.bindable(tb!(UnboundMethod {
- uctx: uctx.clone(),
+ uctx,
value: value.clone(),
params: params.clone(),
- name: name.clone()
+ name,
}))?;
}
}
@@ -267,7 +263,7 @@
for member in members.iter() {
match member {
Member::Field(field) => {
- evaluate_field_member(&mut builder, ctx.clone(), uctx.clone(), &field)?
+ evaluate_field_member(&mut builder, ctx.clone(), uctx.clone(), field)?;
}
Member::AssertStmt(stmt) => {
#[derive(Trace)]
crates/jrsonnet-evaluator/src/evaluate/operator.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/evaluate/operator.rs
+++ b/crates/jrsonnet-evaluator/src/evaluate/operator.rs
@@ -3,7 +3,7 @@
use jrsonnet_parser::{BinaryOpType, LocExpr, UnaryOpType};
use crate::{
- error::Error::*, evaluate, stdlib::std_format, throw, typed::Typed, val::equals, Context,
+ error::ErrorKind::*, evaluate, stdlib::std_format, throw, typed::Typed, val::equals, Context,
Result, Val,
};
crates/jrsonnet-evaluator/src/function/arglike.rsdiffbeforeafterboth1use hashbrown::HashMap;2use jrsonnet_gcmodule::Trace;3use jrsonnet_interner::IStr;4use jrsonnet_parser::{ArgsDesc, LocExpr};56use crate::{7 error::Result, evaluate, gc::GcHashMap, tb, typed::Typed, val::ThunkValue, Context, Thunk, Val,8};910/// Marker for arguments, which can be evaluated with context set to None11pub trait OptionalContext {}1213#[derive(Trace)]14struct EvaluateThunk {15 ctx: Context,16 expr: LocExpr,17}18impl ThunkValue for EvaluateThunk {19 type Output = Val;20 fn get(self: Box<Self>) -> Result<Val> {21 evaluate(self.ctx, &self.expr)22 }23}2425pub trait ArgLike {26 fn evaluate_arg(&self, ctx: Context, tailstrict: bool) -> Result<Thunk<Val>>;27}2829impl ArgLike for &LocExpr {30 fn evaluate_arg(&self, ctx: Context, tailstrict: bool) -> Result<Thunk<Val>> {31 Ok(if tailstrict {32 Thunk::evaluated(evaluate(ctx, self)?)33 } else {34 Thunk::new(tb!(EvaluateThunk {35 ctx,36 expr: (*self).clone(),37 }))38 })39 }40}4142impl<T> ArgLike for T43where44 T: Typed + Clone,45{46 fn evaluate_arg(&self, _ctx: Context, _tailstrict: bool) -> Result<Thunk<Val>> {47 let val = T::into_untyped(self.clone())?;48 Ok(Thunk::evaluated(val))49 }50}51impl<T> OptionalContext for T where T: Typed + Clone {}5253#[derive(Clone, Trace)]54pub enum TlaArg {55 String(IStr),56 Code(LocExpr),57 Val(Val),58}59impl ArgLike for TlaArg {60 fn evaluate_arg(&self, ctx: Context, tailstrict: bool) -> Result<Thunk<Val>> {61 match self {62 TlaArg::String(s) => Ok(Thunk::evaluated(Val::Str(s.clone()))),63 TlaArg::Code(code) => Ok(if tailstrict {64 Thunk::evaluated(evaluate(ctx, code)?)65 } else {66 Thunk::new(tb!(EvaluateThunk {67 ctx,68 expr: code.clone(),69 }))70 }),71 TlaArg::Val(val) => Ok(Thunk::evaluated(val.clone())),72 }73 }74}7576mod sealed {77 /// Implemented for `ArgsLike`, where only unnamed arguments present78 pub trait Unnamed {}79 /// Implemented for `ArgsLike`, where only named arguments present80 pub trait Named {}81}8283pub trait ArgsLike {84 fn unnamed_len(&self) -> usize;85 fn unnamed_iter(86 &self,87 ctx: Context,88 tailstrict: bool,89 handler: &mut dyn FnMut(usize, Thunk<Val>) -> Result<()>,90 ) -> Result<()>;91 fn named_iter(92 &self,93 ctx: Context,94 tailstrict: bool,95 handler: &mut dyn FnMut(&IStr, Thunk<Val>) -> Result<()>,96 ) -> Result<()>;97 fn named_names(&self, handler: &mut dyn FnMut(&IStr));98}99100impl ArgsLike for Vec<Val> {101 fn unnamed_len(&self) -> usize {102 self.len()103 }104 fn unnamed_iter(105 &self,106 _ctx: Context,107 _tailstrict: bool,108 handler: &mut dyn FnMut(usize, Thunk<Val>) -> Result<()>,109 ) -> Result<()> {110 for (idx, el) in self.iter().enumerate() {111 handler(idx, Thunk::evaluated(el.clone()))?;112 }113 Ok(())114 }115 fn named_iter(116 &self,117 _ctx: Context,118 _tailstrict: bool,119 _handler: &mut dyn FnMut(&IStr, Thunk<Val>) -> Result<()>,120 ) -> Result<()> {121 Ok(())122 }123 fn named_names(&self, _handler: &mut dyn FnMut(&IStr)) {}124}125impl OptionalContext for Vec<Val> {}126127impl ArgsLike for ArgsDesc {128 fn unnamed_len(&self) -> usize {129 self.unnamed.len()130 }131132 fn unnamed_iter(133 &self,134 ctx: Context,135 tailstrict: bool,136 handler: &mut dyn FnMut(usize, Thunk<Val>) -> Result<()>,137 ) -> Result<()> {138 for (id, arg) in self.unnamed.iter().enumerate() {139 handler(140 id,141 if tailstrict {142 Thunk::evaluated(evaluate(ctx.clone(), arg)?)143 } else {144 Thunk::new(tb!(EvaluateThunk {145 ctx: ctx.clone(),146 expr: arg.clone(),147 }))148 },149 )?;150 }151 Ok(())152 }153154 fn named_iter(155 &self,156 ctx: Context,157 tailstrict: bool,158 handler: &mut dyn FnMut(&IStr, Thunk<Val>) -> Result<()>,159 ) -> Result<()> {160 for (name, arg) in &self.named {161 handler(162 name,163 if tailstrict {164 Thunk::evaluated(evaluate(ctx.clone(), arg)?)165 } else {166 Thunk::new(tb!(EvaluateThunk {167 ctx: ctx.clone(),168 expr: arg.clone(),169 }))170 },171 )?;172 }173 Ok(())174 }175176 fn named_names(&self, handler: &mut dyn FnMut(&IStr)) {177 for (name, _) in &self.named {178 handler(name);179 }180 }181}182183impl<A: ArgLike, S> sealed::Named for HashMap<IStr, A, S> {}184impl<A: ArgLike, S> ArgsLike for HashMap<IStr, A, S> {185 fn unnamed_len(&self) -> usize {186 0187 }188189 fn unnamed_iter(190 &self,191 _ctx: Context,192 _tailstrict: bool,193 _handler: &mut dyn FnMut(usize, Thunk<Val>) -> Result<()>,194 ) -> Result<()> {195 Ok(())196 }197198 fn named_iter(199 &self,200 ctx: Context,201 tailstrict: bool,202 handler: &mut dyn FnMut(&IStr, Thunk<Val>) -> Result<()>,203 ) -> Result<()> {204 for (name, value) in self.iter() {205 handler(name, value.evaluate_arg(ctx.clone(), tailstrict)?)?;206 }207 Ok(())208 }209210 fn named_names(&self, handler: &mut dyn FnMut(&IStr)) {211 for (name, _) in self.iter() {212 handler(name);213 }214 }215}216impl<A, S> OptionalContext for HashMap<IStr, A, S> where A: ArgLike + OptionalContext {}217218impl<A: ArgLike> ArgsLike for GcHashMap<IStr, A> {219 fn unnamed_len(&self) -> usize {220 self.0.unnamed_len()221 }222223 fn unnamed_iter(224 &self,225 ctx: Context,226 tailstrict: bool,227 handler: &mut dyn FnMut(usize, Thunk<Val>) -> Result<()>,228 ) -> Result<()> {229 self.0.unnamed_iter(ctx, tailstrict, handler)230 }231232 fn named_iter(233 &self,234 ctx: Context,235 tailstrict: bool,236 handler: &mut dyn FnMut(&IStr, Thunk<Val>) -> Result<()>,237 ) -> Result<()> {238 self.0.named_iter(ctx, tailstrict, handler)239 }240241 fn named_names(&self, handler: &mut dyn FnMut(&IStr)) {242 self.0.named_names(handler)243 }244}245246macro_rules! impl_args_like {247 ($count:expr; $($gen:ident)*) => {248 impl<$($gen: ArgLike,)*> sealed::Unnamed for ($($gen,)*) {}249 impl<$($gen: ArgLike,)*> ArgsLike for ($($gen,)*) {250 fn unnamed_len(&self) -> usize {251 $count252 }253 #[allow(non_snake_case, unused_assignments)]254 fn unnamed_iter(255 &self,256 ctx: Context,257 tailstrict: bool,258 handler: &mut dyn FnMut(usize, Thunk<Val>) -> Result<()>,259 ) -> Result<()> {260 let mut i = 0usize;261 let ($($gen,)*) = self;262 $(263 handler(i, $gen.evaluate_arg(ctx.clone(), tailstrict)?)?;264 i+=1;265 )*266 Ok(())267 }268 fn named_iter(269 &self,270 _ctx: Context,271 _tailstrict: bool,272 _handler: &mut dyn FnMut(&IStr, Thunk<Val>) -> Result<()>,273 ) -> Result<()> {274 Ok(())275 }276 fn named_names(&self, _handler: &mut dyn FnMut(&IStr)) {}277 }278 impl<$($gen: ArgLike,)*> OptionalContext for ($($gen,)*) where $($gen: OptionalContext),* {}279280 impl<$($gen: ArgLike,)*> sealed::Named for ($((IStr, $gen),)*) {}281 impl<$($gen: ArgLike,)*> ArgsLike for ($((IStr, $gen),)*) {282 fn unnamed_len(&self) -> usize {283 0284 }285 fn unnamed_iter(286 &self,287 _ctx: Context,288 _tailstrict: bool,289 _handler: &mut dyn FnMut(usize, Thunk<Val>) -> Result<()>,290 ) -> Result<()> {291 Ok(())292 }293 #[allow(non_snake_case)]294 fn named_iter(295 &self,296 ctx: Context,297 tailstrict: bool,298 handler: &mut dyn FnMut(&IStr, Thunk<Val>) -> Result<()>,299 ) -> Result<()> {300 let ($($gen,)*) = self;301 $(302 handler(&$gen.0, $gen.1.evaluate_arg(ctx.clone(), tailstrict)?)?;303 )*304 Ok(())305 }306 #[allow(non_snake_case)]307 fn named_names(&self, handler: &mut dyn FnMut(&IStr)) {308 let ($($gen,)*) = self;309 $(310 handler(&$gen.0);311 )*312 }313 }314 impl<$($gen: ArgLike,)*> OptionalContext for ($((IStr, $gen),)*) where $($gen: OptionalContext),* {}315 };316 ($count:expr; $($cur:ident)* @ $c:ident $($rest:ident)*) => {317 impl_args_like!($count; $($cur)*);318 impl_args_like!($count + 1usize; $($cur)* $c @ $($rest)*);319 };320 ($count:expr; $($cur:ident)* @) => {321 impl_args_like!($count; $($cur)*);322 }323}324impl_args_like! {325 // First argument is already in position, so count starts from 1326 1usize; A @ B C D E F G H I J K L327}328329impl ArgsLike for () {330 fn unnamed_len(&self) -> usize {331 0332 }333334 fn unnamed_iter(335 &self,336 _ctx: Context,337 _tailstrict: bool,338 _handler: &mut dyn FnMut(usize, Thunk<Val>) -> Result<()>,339 ) -> Result<()> {340 Ok(())341 }342343 fn named_iter(344 &self,345 _ctx: Context,346 _tailstrict: bool,347 _handler: &mut dyn FnMut(&IStr, Thunk<Val>) -> Result<()>,348 ) -> Result<()> {349 Ok(())350 }351352 fn named_names(&self, _handler: &mut dyn FnMut(&IStr)) {}353}354impl OptionalContext for () {}1use hashbrown::HashMap;2use jrsonnet_gcmodule::Trace;3use jrsonnet_interner::IStr;4use jrsonnet_parser::{ArgsDesc, LocExpr};56use crate::{7 error::Result, evaluate, gc::GcHashMap, tb, typed::Typed, val::ThunkValue, Context, Thunk, Val,8};910/// Marker for arguments, which can be evaluated with context set to None11pub trait OptionalContext {}1213#[derive(Trace)]14struct EvaluateThunk {15 ctx: Context,16 expr: LocExpr,17}18impl ThunkValue for EvaluateThunk {19 type Output = Val;20 fn get(self: Box<Self>) -> Result<Val> {21 evaluate(self.ctx, &self.expr)22 }23}2425pub trait ArgLike {26 fn evaluate_arg(&self, ctx: Context, tailstrict: bool) -> Result<Thunk<Val>>;27}2829impl ArgLike for &LocExpr {30 fn evaluate_arg(&self, ctx: Context, tailstrict: bool) -> Result<Thunk<Val>> {31 Ok(if tailstrict {32 Thunk::evaluated(evaluate(ctx, self)?)33 } else {34 Thunk::new(tb!(EvaluateThunk {35 ctx,36 expr: (*self).clone(),37 }))38 })39 }40}4142impl<T> ArgLike for T43where44 T: Typed + Clone,45{46 fn evaluate_arg(&self, _ctx: Context, _tailstrict: bool) -> Result<Thunk<Val>> {47 let val = T::into_untyped(self.clone())?;48 Ok(Thunk::evaluated(val))49 }50}51impl<T> OptionalContext for T where T: Typed + Clone {}5253#[derive(Clone, Trace)]54pub enum TlaArg {55 String(IStr),56 Code(LocExpr),57 Val(Val),58}59impl ArgLike for TlaArg {60 fn evaluate_arg(&self, ctx: Context, tailstrict: bool) -> Result<Thunk<Val>> {61 match self {62 TlaArg::String(s) => Ok(Thunk::evaluated(Val::Str(s.clone()))),63 TlaArg::Code(code) => Ok(if tailstrict {64 Thunk::evaluated(evaluate(ctx, code)?)65 } else {66 Thunk::new(tb!(EvaluateThunk {67 ctx,68 expr: code.clone(),69 }))70 }),71 TlaArg::Val(val) => Ok(Thunk::evaluated(val.clone())),72 }73 }74}7576mod sealed {77 /// Implemented for `ArgsLike`, where only unnamed arguments present78 pub trait Unnamed {}79 /// Implemented for `ArgsLike`, where only named arguments present80 pub trait Named {}81}8283pub trait ArgsLike {84 fn unnamed_len(&self) -> usize;85 fn unnamed_iter(86 &self,87 ctx: Context,88 tailstrict: bool,89 handler: &mut dyn FnMut(usize, Thunk<Val>) -> Result<()>,90 ) -> Result<()>;91 fn named_iter(92 &self,93 ctx: Context,94 tailstrict: bool,95 handler: &mut dyn FnMut(&IStr, Thunk<Val>) -> Result<()>,96 ) -> Result<()>;97 fn named_names(&self, handler: &mut dyn FnMut(&IStr));98}99100impl ArgsLike for Vec<Val> {101 fn unnamed_len(&self) -> usize {102 self.len()103 }104 fn unnamed_iter(105 &self,106 _ctx: Context,107 _tailstrict: bool,108 handler: &mut dyn FnMut(usize, Thunk<Val>) -> Result<()>,109 ) -> Result<()> {110 for (idx, el) in self.iter().enumerate() {111 handler(idx, Thunk::evaluated(el.clone()))?;112 }113 Ok(())114 }115 fn named_iter(116 &self,117 _ctx: Context,118 _tailstrict: bool,119 _handler: &mut dyn FnMut(&IStr, Thunk<Val>) -> Result<()>,120 ) -> Result<()> {121 Ok(())122 }123 fn named_names(&self, _handler: &mut dyn FnMut(&IStr)) {}124}125impl OptionalContext for Vec<Val> {}126127impl ArgsLike for ArgsDesc {128 fn unnamed_len(&self) -> usize {129 self.unnamed.len()130 }131132 fn unnamed_iter(133 &self,134 ctx: Context,135 tailstrict: bool,136 handler: &mut dyn FnMut(usize, Thunk<Val>) -> Result<()>,137 ) -> Result<()> {138 for (id, arg) in self.unnamed.iter().enumerate() {139 handler(140 id,141 if tailstrict {142 Thunk::evaluated(evaluate(ctx.clone(), arg)?)143 } else {144 Thunk::new(tb!(EvaluateThunk {145 ctx: ctx.clone(),146 expr: arg.clone(),147 }))148 },149 )?;150 }151 Ok(())152 }153154 fn named_iter(155 &self,156 ctx: Context,157 tailstrict: bool,158 handler: &mut dyn FnMut(&IStr, Thunk<Val>) -> Result<()>,159 ) -> Result<()> {160 for (name, arg) in &self.named {161 handler(162 name,163 if tailstrict {164 Thunk::evaluated(evaluate(ctx.clone(), arg)?)165 } else {166 Thunk::new(tb!(EvaluateThunk {167 ctx: ctx.clone(),168 expr: arg.clone(),169 }))170 },171 )?;172 }173 Ok(())174 }175176 fn named_names(&self, handler: &mut dyn FnMut(&IStr)) {177 for (name, _) in &self.named {178 handler(name);179 }180 }181}182183impl<V: ArgLike, S> sealed::Named for HashMap<IStr, V, S> {}184impl<V: ArgLike, S> ArgsLike for HashMap<IStr, V, S> {185 fn unnamed_len(&self) -> usize {186 0187 }188189 fn unnamed_iter(190 &self,191 _ctx: Context,192 _tailstrict: bool,193 _handler: &mut dyn FnMut(usize, Thunk<Val>) -> Result<()>,194 ) -> Result<()> {195 Ok(())196 }197198 fn named_iter(199 &self,200 ctx: Context,201 tailstrict: bool,202 handler: &mut dyn FnMut(&IStr, Thunk<Val>) -> Result<()>,203 ) -> Result<()> {204 for (name, value) in self.iter() {205 handler(name, value.evaluate_arg(ctx.clone(), tailstrict)?)?;206 }207 Ok(())208 }209210 fn named_names(&self, handler: &mut dyn FnMut(&IStr)) {211 for (name, _) in self.iter() {212 handler(name);213 }214 }215}216impl<V, S> OptionalContext for HashMap<IStr, V, S> where V: ArgLike + OptionalContext {}217218impl<A: ArgLike> ArgsLike for GcHashMap<IStr, A> {219 fn unnamed_len(&self) -> usize {220 self.0.unnamed_len()221 }222223 fn unnamed_iter(224 &self,225 ctx: Context,226 tailstrict: bool,227 handler: &mut dyn FnMut(usize, Thunk<Val>) -> Result<()>,228 ) -> Result<()> {229 self.0.unnamed_iter(ctx, tailstrict, handler)230 }231232 fn named_iter(233 &self,234 ctx: Context,235 tailstrict: bool,236 handler: &mut dyn FnMut(&IStr, Thunk<Val>) -> Result<()>,237 ) -> Result<()> {238 self.0.named_iter(ctx, tailstrict, handler)239 }240241 fn named_names(&self, handler: &mut dyn FnMut(&IStr)) {242 self.0.named_names(handler);243 }244}245246macro_rules! impl_args_like {247 ($count:expr; $($gen:ident)*) => {248 impl<$($gen: ArgLike,)*> sealed::Unnamed for ($($gen,)*) {}249 impl<$($gen: ArgLike,)*> ArgsLike for ($($gen,)*) {250 fn unnamed_len(&self) -> usize {251 $count252 }253 #[allow(non_snake_case, unused_assignments)]254 fn unnamed_iter(255 &self,256 ctx: Context,257 tailstrict: bool,258 handler: &mut dyn FnMut(usize, Thunk<Val>) -> Result<()>,259 ) -> Result<()> {260 let mut i = 0usize;261 let ($($gen,)*) = self;262 $(263 handler(i, $gen.evaluate_arg(ctx.clone(), tailstrict)?)?;264 i+=1;265 )*266 Ok(())267 }268 fn named_iter(269 &self,270 _ctx: Context,271 _tailstrict: bool,272 _handler: &mut dyn FnMut(&IStr, Thunk<Val>) -> Result<()>,273 ) -> Result<()> {274 Ok(())275 }276 fn named_names(&self, _handler: &mut dyn FnMut(&IStr)) {}277 }278 impl<$($gen: ArgLike,)*> OptionalContext for ($($gen,)*) where $($gen: OptionalContext),* {}279280 impl<$($gen: ArgLike,)*> sealed::Named for ($((IStr, $gen),)*) {}281 impl<$($gen: ArgLike,)*> ArgsLike for ($((IStr, $gen),)*) {282 fn unnamed_len(&self) -> usize {283 0284 }285 fn unnamed_iter(286 &self,287 _ctx: Context,288 _tailstrict: bool,289 _handler: &mut dyn FnMut(usize, Thunk<Val>) -> Result<()>,290 ) -> Result<()> {291 Ok(())292 }293 #[allow(non_snake_case)]294 fn named_iter(295 &self,296 ctx: Context,297 tailstrict: bool,298 handler: &mut dyn FnMut(&IStr, Thunk<Val>) -> Result<()>,299 ) -> Result<()> {300 let ($($gen,)*) = self;301 $(302 handler(&$gen.0, $gen.1.evaluate_arg(ctx.clone(), tailstrict)?)?;303 )*304 Ok(())305 }306 #[allow(non_snake_case)]307 fn named_names(&self, handler: &mut dyn FnMut(&IStr)) {308 let ($($gen,)*) = self;309 $(310 handler(&$gen.0);311 )*312 }313 }314 impl<$($gen: ArgLike,)*> OptionalContext for ($((IStr, $gen),)*) where $($gen: OptionalContext),* {}315 };316 ($count:expr; $($cur:ident)* @ $c:ident $($rest:ident)*) => {317 impl_args_like!($count; $($cur)*);318 impl_args_like!($count + 1usize; $($cur)* $c @ $($rest)*);319 };320 ($count:expr; $($cur:ident)* @) => {321 impl_args_like!($count; $($cur)*);322 }323}324impl_args_like! {325 // First argument is already in position, so count starts from 1326 1usize; A @ B C D E F G H I J K L327}328329impl ArgsLike for () {330 fn unnamed_len(&self) -> usize {331 0332 }333334 fn unnamed_iter(335 &self,336 _ctx: Context,337 _tailstrict: bool,338 _handler: &mut dyn FnMut(usize, Thunk<Val>) -> Result<()>,339 ) -> Result<()> {340 Ok(())341 }342343 fn named_iter(344 &self,345 _ctx: Context,346 _tailstrict: bool,347 _handler: &mut dyn FnMut(&IStr, Thunk<Val>) -> Result<()>,348 ) -> Result<()> {349 Ok(())350 }351352 fn named_names(&self, _handler: &mut dyn FnMut(&IStr)) {}353}354impl OptionalContext for () {}crates/jrsonnet-evaluator/src/function/parse.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/function/parse.rs
+++ b/crates/jrsonnet-evaluator/src/function/parse.rs
@@ -7,7 +7,7 @@
use super::{arglike::ArgsLike, builtin::BuiltinParam};
use crate::{
destructure::destruct,
- error::{Error::*, Result},
+ error::{ErrorKind::*, Result},
evaluate_named,
gc::GcHashMap,
tb, throw,
crates/jrsonnet-evaluator/src/import.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/import.rs
+++ b/crates/jrsonnet-evaluator/src/import.rs
@@ -12,10 +12,7 @@
use jrsonnet_parser::{SourceDirectory, SourceFile, SourcePath};
use crate::{
- error::{
- Error::{self, *},
- Result,
- },
+ error::{ErrorKind::*, Result},
throw,
};
@@ -94,7 +91,7 @@
} else if let Some(d) = from.downcast_ref::<SourceDirectory>() {
d.path().to_owned()
} else if from.is_default() {
- current_dir().map_err(|e| Error::ImportIo(e.to_string()))?
+ current_dir().map_err(|e| ImportIo(e.to_string()))?
} else {
unreachable!("resolver can't return this path")
};
@@ -122,7 +119,7 @@
Err(e) if e.kind() == ErrorKind::NotFound => {
throw!(AbsoluteImportFileNotFound(path.to_owned()))
}
- Err(e) => throw!(Error::ImportIo(e.to_string())),
+ Err(e) => throw!(ImportIo(e.to_string())),
};
if meta.is_file() {
Ok(SourcePath::new(SourceFile::new(
@@ -141,7 +138,7 @@
let path = if let Some(f) = id.downcast_ref::<SourceFile>() {
f.path()
} else if id.downcast_ref::<SourceDirectory>().is_some() || id.is_default() {
- throw!(Error::ImportIsADirectory(id.clone()))
+ throw!(ImportIsADirectory(id.clone()))
} else {
unreachable!("other types are not supported in resolve");
};
crates/jrsonnet-evaluator/src/lib.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/lib.rs
+++ b/crates/jrsonnet-evaluator/src/lib.rs
@@ -51,6 +51,7 @@
pub mod gc;
mod import;
mod integrations;
+pub mod manifest;
mod map;
mod obj;
pub mod stack;
@@ -69,7 +70,7 @@
pub use ctx::*;
pub use dynamic::*;
-pub use error::{Error::*, LocError, Result, ResultExt};
+pub use error::{Error, ErrorKind::*, Result, ResultExt};
pub use evaluate::*;
use function::CallLocation;
use gc::{GcHashMap, TraceBox};
@@ -82,7 +83,7 @@
pub use obj::*;
use stack::check_depth;
pub use tla::apply_tla;
-pub use val::{ManifestFormat, Thunk, Val};
+pub use val::{Thunk, Val};
/// Thunk without bound `super`/`this`
/// object inheritance may be overriden multiple times, and will be fixed only on field read
crates/jrsonnet-evaluator/src/obj.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/obj.rs
+++ b/crates/jrsonnet-evaluator/src/obj.rs
@@ -11,7 +11,7 @@
use rustc_hash::FxHashMap;
use crate::{
- error::{Error::*, LocError},
+ error::{Error, ErrorKind::*},
function::CallLocation,
gc::{GcHashMap, GcHashSet, TraceBox},
operator::evaluate_add_op,
@@ -115,7 +115,7 @@
Cached(Val),
NotFound,
Pending,
- Errored(LocError),
+ Errored(Error),
}
#[allow(clippy::module_name_repetitions)]
crates/jrsonnet-evaluator/src/stack.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/stack.rs
+++ b/crates/jrsonnet-evaluator/src/stack.rs
@@ -1,6 +1,6 @@
use std::{cell::Cell, marker::PhantomData};
-use crate::error::{Error, LocError};
+use crate::error::{Error, ErrorKind};
struct StackLimit {
max_stack_size: Cell<usize>,
@@ -22,14 +22,14 @@
}
pub struct StackOverflowError;
-impl From<StackOverflowError> for Error {
+impl From<StackOverflowError> for ErrorKind {
fn from(_: StackOverflowError) -> Self {
- Error::StackOverflow
+ ErrorKind::StackOverflow
}
}
-impl From<StackOverflowError> for LocError {
+impl From<StackOverflowError> for Error {
fn from(_: StackOverflowError) -> Self {
- Error::StackOverflow.into()
+ ErrorKind::StackOverflow.into()
}
}
crates/jrsonnet-evaluator/src/stdlib/format.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/stdlib/format.rs
+++ b/crates/jrsonnet-evaluator/src/stdlib/format.rs
@@ -6,7 +6,7 @@
use jrsonnet_types::ValType;
use thiserror::Error;
-use crate::{error::Error::*, throw, typed::Typed, LocError, ObjValue, Result, Val};
+use crate::{error::ErrorKind::*, throw, typed::Typed, Error, ObjValue, Result, Val};
#[derive(Debug, Clone, Error, Trace)]
pub enum FormatError {
@@ -26,7 +26,7 @@
NoSuchFormatField(IStr),
}
-impl From<FormatError> for LocError {
+impl From<FormatError> for Error {
fn from(e: FormatError) -> Self {
Self::new(Format(e))
}
crates/jrsonnet-evaluator/src/stdlib/mod.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/stdlib/mod.rs
+++ b/crates/jrsonnet-evaluator/src/stdlib/mod.rs
@@ -7,7 +7,6 @@
use crate::{error::Result, function::CallLocation, State, Val};
pub mod format;
-pub mod manifest;
pub fn std_format(str: IStr, vals: Val) -> Result<String> {
State::push(
crates/jrsonnet-evaluator/src/trace/mod.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/trace/mod.rs
+++ b/crates/jrsonnet-evaluator/src/trace/mod.rs
@@ -6,7 +6,7 @@
use jrsonnet_gcmodule::Trace;
use jrsonnet_parser::{CodeLocation, Source};
-use crate::{error::Error, LocError};
+use crate::{error::ErrorKind, Error};
/// The way paths should be displayed
#[derive(Clone, Trace)]
@@ -51,9 +51,9 @@
fn write_trace(
&self,
out: &mut dyn std::fmt::Write,
- error: &LocError,
+ error: &Error,
) -> Result<(), std::fmt::Error>;
- fn format(&self, error: &LocError) -> Result<String, std::fmt::Error> {
+ fn format(&self, error: &Error) -> Result<String, std::fmt::Error> {
let mut out = String::new();
self.write_trace(&mut out, error)?;
Ok(out)
@@ -107,10 +107,10 @@
fn write_trace(
&self,
out: &mut dyn std::fmt::Write,
- error: &LocError,
+ error: &Error,
) -> Result<(), std::fmt::Error> {
write!(out, "{}", error.error())?;
- if let Error::ImportSyntaxError { path, error } = error.error() {
+ if let ErrorKind::ImportSyntaxError { path, error } = error.error() {
use std::fmt::Write;
writeln!(out)?;
@@ -204,7 +204,7 @@
fn write_trace(
&self,
out: &mut dyn std::fmt::Write,
- error: &LocError,
+ error: &Error,
) -> Result<(), std::fmt::Error> {
write!(out, "{}", error.error())?;
for item in &error.trace().0 {
@@ -250,10 +250,10 @@
fn write_trace(
&self,
out: &mut dyn std::fmt::Write,
- error: &LocError,
+ error: &Error,
) -> Result<(), std::fmt::Error> {
write!(out, "{}", error.error())?;
- if let Error::ImportSyntaxError { path, error } = error.error() {
+ if let ErrorKind::ImportSyntaxError { path, error } = error.error() {
writeln!(out)?;
let offset = error.location.offset;
let location = path
crates/jrsonnet-evaluator/src/typed/mod.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/typed/mod.rs
+++ b/crates/jrsonnet-evaluator/src/typed/mod.rs
@@ -7,7 +7,7 @@
use thiserror::Error;
use crate::{
- error::{Error, LocError, Result},
+ error::{Error, ErrorKind, Result},
State, Val,
};
@@ -26,9 +26,9 @@
)]
BoundsFailed(f64, Option<f64>, Option<f64>),
}
-impl From<TypeError> for LocError {
+impl From<TypeError> for Error {
fn from(e: TypeError) -> Self {
- Error::TypeError(e.into()).into()
+ ErrorKind::TypeError(e.into()).into()
}
}
@@ -39,9 +39,9 @@
Self(Box::new(e), ValuePathStack(Vec::new()))
}
}
-impl From<TypeLocError> for LocError {
+impl From<TypeLocError> for Error {
fn from(e: TypeLocError) -> Self {
- Error::TypeError(e).into()
+ ErrorKind::TypeError(e).into()
}
}
impl Display for TypeLocError {
@@ -92,7 +92,7 @@
State::push_description(error_reason, || match item() {
Ok(_) => Ok(()),
Err(mut e) => {
- if let Error::TypeError(e) = &mut e.error_mut() {
+ if let ErrorKind::TypeError(e) = &mut e.error_mut() {
(e.1).0.push(path());
}
Err(e)
@@ -218,7 +218,7 @@
return Ok(());
}
Err(e) => match e.error() {
- Error::TypeError(e) => errors.push(e.clone()),
+ ErrorKind::TypeError(e) => errors.push(e.clone()),
_ => return Err(e),
},
}
@@ -233,7 +233,7 @@
return Ok(());
}
Err(e) => match e.error() {
- Error::TypeError(e) => errors.push(e.clone()),
+ ErrorKind::TypeError(e) => errors.push(e.clone()),
_ => return Err(e),
},
}
crates/jrsonnet-evaluator/src/val.rsdiffbeforeafterboth--- a/crates/jrsonnet-evaluator/src/val.rs
+++ b/crates/jrsonnet-evaluator/src/val.rs
@@ -5,9 +5,10 @@
use jrsonnet_types::ValType;
use crate::{
- error::{Error::*, LocError},
+ error::{Error, ErrorKind::*},
function::FuncVal,
gc::{GcHashMap, TraceBox},
+ manifest::{ManifestFormat, ToStringFormat},
throw,
typed::BoundedUsize,
ObjValue, Result, Unbound, WeakObjValue,
@@ -21,7 +22,7 @@
#[derive(Trace)]
enum ThunkInner<T: Trace> {
Computed(T),
- Errored(LocError),
+ Errored(Error),
Waiting(TraceBox<dyn ThunkValue<Output = T>>),
Pending,
}
@@ -116,33 +117,6 @@
impl<T: Trace> PartialEq for Thunk<T> {
fn eq(&self, other: &Self) -> bool {
Cc::ptr_eq(&self.0, &other.0)
- }
-}
-
-pub trait ManifestFormat {
- fn manifest_buf(&self, val: Val, buf: &mut String) -> Result<()>;
- fn manifest(&self, val: Val) -> Result<String> {
- let mut out = String::new();
- self.manifest_buf(val, &mut out)?;
- Ok(out)
- }
-}
-impl<T> ManifestFormat for Box<T>
-where
- T: ManifestFormat + ?Sized,
-{
- fn manifest_buf(&self, val: Val, buf: &mut String) -> Result<()> {
- let inner = &**self;
- inner.manifest_buf(val, buf)
- }
-}
-impl<T> ManifestFormat for &'_ T
-where
- T: ManifestFormat + ?Sized,
-{
- fn manifest_buf(&self, val: Val, buf: &mut String) -> Result<()> {
- let inner = &**self;
- inner.manifest_buf(val, buf)
}
}
@@ -649,9 +623,7 @@
Self::Bool(false) => "false".into(),
Self::Null => "null".into(),
Self::Str(s) => s.clone(),
- _ => self
- .manifest(crate::stdlib::manifest::ToStringFormat)
- .map(IStr::from)?,
+ _ => self.manifest(ToStringFormat).map(IStr::from)?,
})
}
crates/jrsonnet-macros/src/lib.rsdiffbeforeafterboth--- a/crates/jrsonnet-macros/src/lib.rs
+++ b/crates/jrsonnet-macros/src/lib.rs
@@ -540,7 +540,7 @@
}
} else {
quote! {
- <#ty>::from_untyped(obj.get(#name.into())?.ok_or_else(|| Error::NoSuchField(#name.into(), vec![]))?)?
+ <#ty>::from_untyped(obj.get(#name.into())?.ok_or_else(|| ErrorKind::NoSuchField(#name.into(), vec![]))?)?
}
};
@@ -638,19 +638,19 @@
use ::jrsonnet_evaluator::{
typed::{ComplexValType, Typed, TypedObj, CheckType},
Val, State,
- error::{LocError, Error, Result},
+ error::{ErrorKind, Result as JrResult},
ObjValueBuilder, ObjValue,
};
#typed
impl TypedObj for #ident {
- fn serialize(self, out: &mut ObjValueBuilder) -> Result<(), LocError> {
+ fn serialize(self, out: &mut ObjValueBuilder) -> JrResult<()> {
#(#fields_serialize)*
Ok(())
}
- fn parse(obj: &ObjValue) -> Result<Self, LocError> {
+ fn parse(obj: &ObjValue) -> JrResult<Self> {
Ok(Self {
#(#fields_parse)*
})
crates/jrsonnet-parser/src/lib.rsdiffbeforeafterboth--- a/crates/jrsonnet-parser/src/lib.rs
+++ b/crates/jrsonnet-parser/src/lib.rs
@@ -450,15 +450,23 @@
fn imports() {
assert_eq!(
parse!("import \"hello\""),
- el!(Expr::Import("hello".into()), 0, 14),
+ el!(Expr::Import(el!(Expr::Str("hello".into()), 7, 14)), 0, 14),
);
assert_eq!(
parse!("importstr \"garnish.txt\""),
- el!(Expr::ImportStr("garnish.txt".into()), 0, 23)
+ el!(
+ Expr::ImportStr(el!(Expr::Str("garnish.txt".into()), 10, 23)),
+ 0,
+ 23
+ )
);
assert_eq!(
parse!("importbin \"garnish.bin\""),
- el!(Expr::ImportBin("garnish.bin".into()), 0, 23)
+ el!(
+ Expr::ImportBin(el!(Expr::Str("garnish.bin".into()), 10, 23)),
+ 0,
+ 23
+ )
);
}
crates/jrsonnet-stdlib/Cargo.tomldiffbeforeafterboth--- a/crates/jrsonnet-stdlib/Cargo.toml
+++ b/crates/jrsonnet-stdlib/Cargo.toml
@@ -7,7 +7,7 @@
edition = "2021"
[features]
-default = ["codegenerated-stdlib"]
+default = ["codegenerated-stdlib", "exp-more-hashes"]
# Speed-up initialization by generating code for parsed stdlib, instead
# of invoking parser for it
codegenerated-stdlib = ["jrsonnet-parser/structdump"]
@@ -15,6 +15,7 @@
legacy-this-file = []
# Add order preservation flag to some functions
exp-preserve-order = ["jrsonnet-evaluator/exp-preserve-order"]
+exp-more-hashes = ["sha2"]
[dependencies]
jrsonnet-evaluator.workspace = true
@@ -36,6 +37,8 @@
# std.parseYaml, custom library fork is used for C++/golang compatibility
serde_yaml_with_quirks = "0.8.24"
+sha2 = { version = "0.10.6", optional = true }
+
[build-dependencies]
jrsonnet-parser.workspace = true
structdump = { version = "0.2.0", features = ["derive"] }
crates/jrsonnet-stdlib/build.rsdiffbeforeafterboth--- a/crates/jrsonnet-stdlib/build.rs
+++ b/crates/jrsonnet-stdlib/build.rs
@@ -19,7 +19,7 @@
{
let out_dir = env::var("OUT_DIR").unwrap();
let dest_path = Path::new(&out_dir).join("stdlib.rs");
- let mut f = File::create(&dest_path).unwrap();
+ let mut f = File::create(dest_path).unwrap();
f.write_all(
("#[allow(clippy::redundant_clone)]".to_owned() + &v.to_string())
.replace(';', ";\n")
crates/jrsonnet-stdlib/src/encoding.rsdiffbeforeafterboth--- a/crates/jrsonnet-stdlib/src/encoding.rs
+++ b/crates/jrsonnet-stdlib/src/encoding.rs
@@ -1,5 +1,5 @@
use jrsonnet_evaluator::{
- error::{Error::RuntimeError, Result},
+ error::{ErrorKind::RuntimeError, Result},
function::builtin,
typed::{Either, Either2},
IBytes, IStr,
crates/jrsonnet-stdlib/src/hash.rsdiffbeforeafterboth--- a/crates/jrsonnet-stdlib/src/hash.rs
+++ b/crates/jrsonnet-stdlib/src/hash.rs
@@ -4,3 +4,10 @@
pub fn builtin_md5(str: IStr) -> Result<String> {
Ok(format!("{:x}", md5::compute(str.as_bytes())))
}
+
+#[cfg(feature = "exp-more-hashes")]
+#[builtin]
+pub fn builtin_sha256(str: IStr) -> Result<String> {
+ use sha2::digest::Digest;
+ Ok(format!("{:?}", sha2::Sha256::digest(str.as_bytes())))
+}
crates/jrsonnet-stdlib/src/lib.rsdiffbeforeafterboth--- a/crates/jrsonnet-stdlib/src/lib.rs
+++ b/crates/jrsonnet-stdlib/src/lib.rs
@@ -5,7 +5,7 @@
};
use jrsonnet_evaluator::{
- error::{Error::*, Result},
+ error::{ErrorKind::*, Result},
function::{builtin::Builtin, CallLocation, FuncVal, TlaArg},
gc::{GcHashMap, TraceBox},
tb,
@@ -101,6 +101,8 @@
("sort", builtin_sort::INST),
// Hash
("md5", builtin_md5::INST),
+ #[cfg(feature = "exp-more-hashes")]
+ ("sha256", builtin_sha256::INST),
// Encoding
("encodeUTF8", builtin_encode_utf8::INST),
("decodeUTF8", builtin_decode_utf8::INST),
crates/jrsonnet-stdlib/src/misc.rsdiffbeforeafterboth--- a/crates/jrsonnet-stdlib/src/misc.rs
+++ b/crates/jrsonnet-stdlib/src/misc.rs
@@ -1,7 +1,7 @@
use std::{cell::RefCell, rc::Rc};
use jrsonnet_evaluator::{
- error::{Error::*, Result},
+ error::{ErrorKind::*, Result},
function::{builtin, ArgLike, CallLocation, FuncVal},
throw,
typed::{Any, Either2, Either4},
crates/jrsonnet-stdlib/src/parse.rsdiffbeforeafterboth--- a/crates/jrsonnet-stdlib/src/parse.rs
+++ b/crates/jrsonnet-stdlib/src/parse.rs
@@ -1,5 +1,5 @@
use jrsonnet_evaluator::{
- error::{Error::RuntimeError, Result},
+ error::{ErrorKind::RuntimeError, Result},
function::builtin,
typed::Any,
IStr, Val,
crates/jrsonnet-stdlib/src/strings.rsdiffbeforeafterboth--- a/crates/jrsonnet-stdlib/src/strings.rs
+++ b/crates/jrsonnet-stdlib/src/strings.rs
@@ -1,5 +1,5 @@
use jrsonnet_evaluator::{
- error::{Error::*, Result},
+ error::{ErrorKind::*, Result},
function::builtin,
typed::{Either2, VecVal, M1},
val::ArrValue,
tests/tests/common.rsdiffbeforeafterboth--- a/tests/tests/common.rs
+++ b/tests/tests/common.rs
@@ -29,7 +29,7 @@
macro_rules! ensure_val_eq {
($a:expr, $b:expr) => {{
if !::jrsonnet_evaluator::val::equals(&$a.clone(), &$b.clone())? {
- use ::jrsonnet_evaluator::stdlib::manifest::JsonFormat;
+ use ::jrsonnet_evaluator::manifest::JsonFormat;
::jrsonnet_evaluator::throw!(
"assertion failed: a != b\na={:#?}\nb={:#?}",
$a.manifest(JsonFormat::default())?,
tests/tests/golden.rsdiffbeforeafterboth--- a/tests/tests/golden.rs
+++ b/tests/tests/golden.rs
@@ -4,7 +4,7 @@
};
use jrsonnet_evaluator::{
- stdlib::manifest::JsonFormat,
+ manifest::JsonFormat,
trace::{CompactFormat, PathResolver, TraceFormat},
FileImportResolver, State,
};