git.delta.rocks / jrsonnet / refs/commits / 9fc7fc56bf0c

difftreelog

fix(parser) import parsing order

Лач2020-06-10parent: #66507e3.patch.diff
in: master

1 file changed

modifiedcrates/jsonnet-parser/src/lib.rsdiffbeforeafterboth
after · crates/jsonnet-parser/src/lib.rs
1#![feature(box_syntax)]2#![feature(test)]34extern crate test;56use peg::parser;7use std::{path::PathBuf, rc::Rc};8mod expr;9mod string_processing;10pub use expr::*;11pub use peg;12use string_processing::deent;1314pub struct ParserSettings {15	pub loc_data: bool,16	pub file_name: PathBuf,17}1819parser! {20	grammar jsonnet_parser() for str {21		use peg::ParseLiteral;2223		/// Standard C-like comments24		rule comment()25			= "//" (!['\n'][_])* "\n"26			/ "/*" ("\\*/" / "\\\\" / (!("*/")[_]))* "*/"27			/ "#" (!['\n'][_])* "\n"2829		rule single_whitespace() = quiet!{([' ' | '\r' | '\n' | '\t'] / comment())} / expected!("<whitespace>")30		rule _() = single_whitespace()*3132		/// For comma-delimited elements33		rule comma() = quiet!{_ "," _} / expected!("<comma>")34		rule alpha() -> char = c:$(['_' | 'a'..='z' | 'A'..='Z']) {c.chars().next().unwrap()}35		rule digit() -> char = d:$(['0'..='9']) {d.chars().next().unwrap()}36		rule end_of_ident() = !['0'..='9' | '_' | 'a'..='z' | 'A'..='Z']37		/// Sequence of digits38		rule uint() -> u64 = a:$(digit()+) { a.parse().unwrap() }39		/// Number in scientific notation format40		rule number() -> f64 = quiet!{a:$(uint() ("." uint())? (['e'|'E'] (s:['+'|'-'])? uint())?) { a.parse().unwrap() }} / expected!("<number>")4142		/// Reserved word followed by any non-alphanumberic43		rule reserved() = ("assert" / "else" / "error" / "false" / "for" / "function" / "if" / "import" / "importstr" / "in" / "local" / "null" / "tailstrict" / "then" / "self" / "super" / "true") end_of_ident()44		rule id() -> String = quiet!{ !reserved() s:$(alpha() (alpha() / digit())*) {s.to_owned()}} / expected!("<identifier>")4546		rule keyword(id: &'static str)47			= ##parse_string_literal(id) end_of_ident()48		// Adds location data information to existing expression49		rule l(s: &ParserSettings, x: rule<Expr>) -> LocExpr50			= start:position!() v:x() end:position!() {loc_expr!(v, s.loc_data, (s.file_name.clone(), start, end))}5152		pub rule param(s: &ParserSettings) -> expr::Param = name:id() expr:(_ "=" _ expr:expr(s){expr})? { expr::Param(name, expr) }53		pub rule params(s: &ParserSettings) -> expr::ParamsDesc54			= params:(param(s) ** comma()) {55				let mut defaults_started = false;56				for param in &params {57					defaults_started = defaults_started || param.1.is_some();58					assert_eq!(defaults_started, param.1.is_some(), "defauld parameters should be used after all positionals");59				}60				expr::ParamsDesc(params)61			}62			/ { expr::ParamsDesc(Vec::new()) }6364		pub rule arg(s: &ParserSettings) -> expr::Arg65			= name:id() _ "=" _ expr:expr(s) {expr::Arg(Some(name), expr)}66			/ expr:expr(s) {expr::Arg(None, expr)}67		pub rule args(s: &ParserSettings) -> expr::ArgsDesc68			= args:arg(s) ** comma() comma()? {69				let mut named_started = false;70				for arg in &args {71					named_started = named_started || arg.0.is_some();72					assert_eq!(named_started, arg.0.is_some(), "named args should be used after all positionals");73				}74				expr::ArgsDesc(args)75			}76			/ { expr::ArgsDesc(Vec::new()) }7778		pub rule bind(s: &ParserSettings) -> expr::BindSpec79			= name:id() _ "=" _ expr:expr(s) {expr::BindSpec{name, params: None, value: expr}}80			/ name:id() _ "(" _ params:params(s) _ ")" _ "=" _ expr:expr(s) {expr::BindSpec{name, params: Some(params), value: expr}}81		pub rule assertion(s: &ParserSettings) -> expr::AssertStmt82			= keyword("assert") _ cond:expr(s) msg:(_ ":" _ e:expr(s) {e})? { expr::AssertStmt(cond, msg) }8384		pub rule whole_line() -> String85			= str:$((!['\n'][_])* "\n") {str.to_owned()}86		pub rule string() -> String87			= "\"" str:$(("\\\"" / "\\\\" / (!['"'][_]))*) "\"" {unescape::unescape(str).unwrap()}88			/ "'" str:$(("\\'" / "\\\\" / (!['\''][_]))*) "'" {unescape::unescape(str).unwrap()}89			/ "@'" str:$(("''" / (!['\''][_]))*) "'" {str.replace("''", "'")}90			/ "@\"" str:$(("\"\"" / (!['"'][_]))*) "\"" {str.replace("\"\"", "\"")}91			// TODO: This is temporary workaround, i still dont know how to write this correctly btw.92			/ "|||" (!['\n']single_whitespace())* "\n" str:$((" "*<1, 1> whole_line())+) " "*<0, 0> "|||" {deent(str)}93			/ "|||" (!['\n']single_whitespace())* "\n" str:$((" "*<2, 2> whole_line())+) " "*<1, 1> "|||" {deent(str)}94			/ "|||" (!['\n']single_whitespace())* "\n" str:$((" "*<3, 3> whole_line())+) " "*<2, 2> "|||" {deent(str)}95			/ "|||" (!['\n']single_whitespace())* "\n" str:$((" "*<4, 4> whole_line())+) " "*<3, 3> "|||" {deent(str)}96			/ "|||" (!['\n']single_whitespace())* "\n" str:$((" "*<5, 5> whole_line())+) " "*<4, 4> "|||" {deent(str)}97			/ "|||" (!['\n']single_whitespace())* "\n" str:$((" "*<6, 6> whole_line())+) " "*<5, 5> "|||" {deent(str)}98			/ "|||" (!['\n']single_whitespace())* "\n" str:$((" "*<7, 7> whole_line())+) " "*<6, 6> "|||" {deent(str)}99			/ "|||" (!['\n']single_whitespace())* "\n" str:$((" "*<8, 8> whole_line())+) " "*<7, 7> "|||" {deent(str)}100			/ "|||" (!['\n']single_whitespace())* "\n" str:$((" "*<9, 9> whole_line())+) " "*<8, 8> "|||" {deent(str)}101			/ "|||" (!['\n']single_whitespace())* "\n" str:$((" "*<10, 10> whole_line())+) " "*<9, 9> "|||" {deent(str)}102			/ "|||" (!['\n']single_whitespace())* "\n" str:$((" "*<11, 11> whole_line())+) " "*<10, 10> "|||" {deent(str)}103			/ "|||" (!['\n']single_whitespace())* "\n" str:$((" "*<12, 12> whole_line())+) " "*<11, 10> "|||" {deent(str)}104105		pub rule field_name(s: &ParserSettings) -> expr::FieldName106			= name:id() {expr::FieldName::Fixed(name)}107			/ name:string() {expr::FieldName::Fixed(name)}108			/ "[" _ expr:expr(s) _ "]" {expr::FieldName::Dyn(expr)}109		pub rule visibility() -> expr::Visibility110			= ":::" {expr::Visibility::Unhide}111			/ "::" {expr::Visibility::Hidden}112			/ ":" {expr::Visibility::Normal}113		pub rule field(s: &ParserSettings) -> expr::FieldMember114			= name:field_name(s) _ plus:"+"? _ visibility:visibility() _ value:expr(s) {expr::FieldMember{115				name,116				plus: plus.is_some(),117				params: None,118				visibility,119				value,120			}}121			/ name:field_name(s) _ "(" _ params:params(s) _ ")" _ visibility:visibility() _ value:expr(s) {expr::FieldMember{122				name,123				plus: false,124				params: Some(params),125				visibility,126				value,127			}}128		pub rule obj_local(s: &ParserSettings) -> BindSpec129			= keyword("local") _ bind:bind(s) {bind}130		pub rule member(s: &ParserSettings) -> expr::Member131			= bind:obj_local(s) {expr::Member::BindStmt(bind)}132			/ assertion:assertion(s) {expr::Member::AssertStmt(assertion)}133			/ field:field(s) {expr::Member::Field(field)}134		pub rule objinside(s: &ParserSettings) -> expr::ObjBody135			= pre_locals:(b: obj_local(s) comma() {b})* "[" _ key:expr(s) _ "]" _ ":" _ value:expr(s) post_locals:(comma() b:obj_local(s) {b})* _ forspec:forspec(s) others:(_ rest:compspec(s) {rest})? {136				expr::ObjBody::ObjComp {137					pre_locals,138					key,139					value,140					post_locals,141					rest: [vec![CompSpec::ForSpec(forspec)], others.unwrap_or_default()].concat(),142				}143			}144			/ members:(member(s) ** comma()) comma()? {expr::ObjBody::MemberList(members)}145		pub rule ifspec(s: &ParserSettings) -> IfSpecData146			= keyword("if") _ expr:expr(s) {IfSpecData(expr)}147		pub rule forspec(s: &ParserSettings) -> ForSpecData148			= keyword("for") _ id:id() _ keyword("in") _ cond:expr(s) {ForSpecData(id, cond)}149		pub rule compspec(s: &ParserSettings) -> Vec<expr::CompSpec>150			= s:(i:ifspec(s) { expr::CompSpec::IfSpec(i) } / f:forspec(s) {expr::CompSpec::ForSpec(f)} ) ** _ {s}151		pub rule local_expr(s: &ParserSettings) -> LocExpr152			= l(s,<keyword("local") _ binds:bind(s) ** comma() _ ";" _ expr:expr(s) { Expr::LocalExpr(binds, expr) }>)153		pub rule string_expr(s: &ParserSettings) -> LocExpr154			= l(s, <s:string() {Expr::Str(s)}>)155		pub rule obj_expr(s: &ParserSettings) -> LocExpr156			= l(s,<"{" _ body:objinside(s) _ "}" {Expr::Obj(body)}>)157		pub rule array_expr(s: &ParserSettings) -> LocExpr158			= l(s,<"[" _ elems:(expr(s) ** comma()) _ comma()? "]" {Expr::Arr(elems)}>)159		pub rule array_comp_expr(s: &ParserSettings) -> LocExpr160			= l(s,<"[" _ expr:expr(s) _ comma()? _ forspec:forspec(s) _ others:(others: compspec(s) _ {others})? "]" {Expr::ArrComp(expr, [vec![CompSpec::ForSpec(forspec)], others.unwrap_or_default()].concat())}>)161		pub rule number_expr(s: &ParserSettings) -> LocExpr162			= l(s,<n:number() { expr::Expr::Num(n) }>)163		pub rule var_expr(s: &ParserSettings) -> LocExpr164			= l(s,<n:id() { expr::Expr::Var(n) }>)165		pub rule if_then_else_expr(s: &ParserSettings) -> LocExpr166			= l(s,<cond:ifspec(s) _ keyword("then") _ cond_then:expr(s) cond_else:(_ keyword("else") _ e:expr(s) {e})? {Expr::IfElse{167				cond,168				cond_then,169				cond_else,170			}}>)171172		pub rule literal(s: &ParserSettings) -> LocExpr173			= l(s,<v:(174				keyword("null") {LiteralType::Null}175				/ keyword("true") {LiteralType::True}176				/ keyword("false") {LiteralType::False}177				/ keyword("self") {LiteralType::This}178				/ keyword("$") {LiteralType::Dollar}179				/ keyword("super") {LiteralType::Super}180			) {Expr::Literal(v)}>)181182		pub rule expr_basic(s: &ParserSettings) -> LocExpr183			= literal(s)184185			/ string_expr(s) / number_expr(s)186			/ array_expr(s)187			/ obj_expr(s)188			/ array_expr(s)189			/ array_comp_expr(s)190191			/ l(s,<keyword("importstr") _ path:string() {Expr::ImportStr(PathBuf::from(path))}>)192			/ l(s,<keyword("import") _ path:string() {Expr::Import(PathBuf::from(path))}>)193194			/ var_expr(s)195			/ local_expr(s)196			/ if_then_else_expr(s)197198			/ l(s,<keyword("function") _ "(" _ params:params(s) _ ")" _ expr:expr(s) {Expr::Function(params, expr)}>)199			/ l(s,<assertion:assertion(s) _ ";" _ expr:expr(s) { Expr::AssertExpr(assertion, expr) }>)200201			/ l(s,<keyword("error") _ expr:expr(s) { Expr::Error(expr) }>)202203		pub rule slice_desc(s: &ParserSettings) -> SliceDesc204			= start:expr(s)? _ ":" _ pair:(end:expr(s)? _ step:(":" _ e:expr(s) {e})? {(end, step)})? {205				if let Some((end, step)) = pair {206					SliceDesc { start, end, step }207				}else{208					SliceDesc { start, end: None, step: None }209				}210			}211212		rule expr(s: &ParserSettings) -> LocExpr213			= start:position!() a:precedence! {214				a:(@) _ "||" _ b:@ {loc_expr_todo!(Expr::BinaryOp(a, BinaryOpType::Or, b))}215				--216				a:(@) _ "&&" _ b:@ {loc_expr_todo!(Expr::BinaryOp(a, BinaryOpType::And, b))}217				--218				a:(@) _ "|" _ b:@ {loc_expr_todo!(Expr::BinaryOp(a, BinaryOpType::BitOr, b))}219				--220				a:@ _ "^" _ b:(@) {loc_expr_todo!(Expr::BinaryOp(a, BinaryOpType::BitXor, b))}221				--222				a:(@) _ "&" _ b:@ {loc_expr_todo!(Expr::BinaryOp(a, BinaryOpType::BitAnd, b))}223				--224				a:(@) _ "==" _ b:@ {loc_expr_todo!(Expr::Apply(225					el!(Expr::Index(226						el!(Expr::Var("std".to_owned())),227						el!(Expr::Str("equals".to_owned()))228					)),229					ArgsDesc(vec![Arg(None, a), Arg(None, b)]),230					true231				))}232				a:(@) _ "!=" _ b:@ {loc_expr_todo!(Expr::UnaryOp(UnaryOpType::Not, el!(Expr::Apply(233					el!(Expr::Index(234						el!(Expr::Var("std".to_owned())),235						el!(Expr::Str("equals".to_owned()))236					)),237					ArgsDesc(vec![Arg(None, a), Arg(None, b)]),238					true239				))))}240				--241				a:(@) _ "<" _ b:@ {loc_expr_todo!(Expr::BinaryOp(a, BinaryOpType::Lt, b))}242				a:(@) _ ">" _ b:@ {loc_expr_todo!(Expr::BinaryOp(a, BinaryOpType::Gt, b))}243				a:(@) _ "<=" _ b:@ {loc_expr_todo!(Expr::BinaryOp(a, BinaryOpType::Lte, b))}244				a:(@) _ ">=" _ b:@ {loc_expr_todo!(Expr::BinaryOp(a, BinaryOpType::Gte, b))}245				--246				a:(@) _ "<<" _ b:@ {loc_expr_todo!(Expr::BinaryOp(a, BinaryOpType::Lhs, b))}247				a:(@) _ ">>" _ b:@ {loc_expr_todo!(Expr::BinaryOp(a, BinaryOpType::Rhs, b))}248				--249				a:(@) _ "+" _ b:@ {loc_expr_todo!(Expr::BinaryOp(a, BinaryOpType::Add, b))}250				a:(@) _ "-" _ b:@ {loc_expr_todo!(Expr::BinaryOp(a, BinaryOpType::Sub, b))}251				--252				a:(@) _ "*" _ b:@ {loc_expr_todo!(Expr::BinaryOp(a, BinaryOpType::Mul, b))}253				a:(@) _ "/" _ b:@ {loc_expr_todo!(Expr::BinaryOp(a, BinaryOpType::Div, b))}254				a:(@) _ "%" _ b:@ {loc_expr_todo!(Expr::Apply(255					el!(Expr::Index(256						el!(Expr::Var("std".to_owned())),257						el!(Expr::Str("mod".to_owned()))258					)), ArgsDesc(vec![Arg(None, a), Arg(None, b)]),259					true260				))}261				--262						"-" _ b:@ {loc_expr_todo!(Expr::UnaryOp(UnaryOpType::Minus, b))}263						"!" _ b:@ {loc_expr_todo!(Expr::UnaryOp(UnaryOpType::Not, b))}264						"~" _ b:@ { loc_expr_todo!(Expr::UnaryOp(UnaryOpType::BitNot, b)) }265				--266				a:(@) _ "[" _ s:slice_desc(s) _ "]" {loc_expr_todo!(Expr::Slice(a, s))}267				a:(@) _ "." _ s:id() {loc_expr_todo!(Expr::Index(a, el!(Expr::Str(s))))}268				a:(@) _ "[" _ s:expr(s) _ "]" {loc_expr_todo!(Expr::Index(a, s))}269				a:(@) _ "(" _ args:args(s) _ ")" ts:(_ keyword("tailstrict"))? {loc_expr_todo!(Expr::Apply(a, args, ts.is_some()))}270				a:(@) _ "{" _ body:objinside(s) _ "}" {loc_expr_todo!(Expr::ObjExtend(a, body))}271				--272				e:expr_basic(s) {e}273				"(" _ e:expr(s) _ ")" {loc_expr_todo!(Expr::Parened(e))}274			} end:position!() {275				let LocExpr(e, _) = a;276				LocExpr(e, if s.loc_data {277					Some(Rc::new(ExprLocation(s.file_name.to_owned(), start, end)))278				} else {279					None280				})281			}282			/ e:expr_basic(s) {e}283284		pub rule jsonnet(s: &ParserSettings) -> LocExpr = _ e:expr(s) _ {e}285	}286}287288pub type ParseError = peg::error::ParseError<peg::str::LineCol>;289pub fn parse(str: &str, settings: &ParserSettings) -> Result<LocExpr, ParseError> {290	jsonnet_parser::jsonnet(str, settings)291}292293#[macro_export]294macro_rules! el {295	($expr:expr) => {296		LocExpr(std::rc::Rc::new($expr), None)297	};298}299300#[cfg(test)]301pub mod tests {302	use super::{expr::*, parse};303	use crate::ParserSettings;304	use std::path::PathBuf;305306	macro_rules! parse {307		($s:expr) => {308			parse(309				$s,310				&ParserSettings {311					loc_data: false,312					file_name: PathBuf::from("/test.jsonnet"),313					},314				)315			.unwrap()316		};317	}318319	mod expressions {320		use super::*;321322		pub fn basic_math() -> LocExpr {323			el!(Expr::BinaryOp(324				el!(Expr::Num(2.0)),325				BinaryOpType::Add,326				el!(Expr::BinaryOp(327					el!(Expr::Num(2.0)),328					BinaryOpType::Mul,329					el!(Expr::Num(2.0)),330				)),331			))332		}333	}334335	#[test]336	fn multiline_string() {337		assert_eq!(338			parse!("|||\n      Hello world!\n  a\n|||"),339			el!(Expr::Str("    Hello world!\na\n".to_owned())),340		)341	}342343	#[test]344	fn string_escaping() {345		assert_eq!(346			parse!(r#""Hello, \"world\"!""#),347			el!(Expr::Str(r#"Hello, "world"!"#.to_owned())),348		);349		assert_eq!(350			parse!(r#"'Hello \'world\'!'"#),351			el!(Expr::Str("Hello 'world'!".to_owned())),352		);353		assert_eq!(parse!(r#"'\\\\'"#), el!(Expr::Str("\\\\".to_owned())),);354	}355356	#[test]357	fn string_unescaping() {358		assert_eq!(359			parse!(r#""Hello\nWorld""#),360			el!(Expr::Str("Hello\nWorld".to_owned())),361		);362	}363364	#[test]365	fn string_verbantim() {366		assert_eq!(367			parse!(r#"@"Hello\n""World""""#),368			el!(Expr::Str("Hello\\n\"World\"".to_owned())),369		);370	}371372	#[test]373	fn imports() {374		assert_eq!(375			parse!("import \"hello\""),376			el!(Expr::Import(PathBuf::from("hello"))),377		);378		assert_eq!(379			parse!("importstr \"garnish.txt\""),380			el!(Expr::ImportStr(PathBuf::from("garnish.txt")))381		);382	}383384	#[test]385	fn empty_object() {386		assert_eq!(parse!("{}"), el!(Expr::Obj(ObjBody::MemberList(vec![]))));387	}388389	#[test]390	fn basic_math() {391		assert_eq!(392			parse!("2+2*2"),393			el!(Expr::BinaryOp(394				el!(Expr::Num(2.0)),395				BinaryOpType::Add,396				el!(Expr::BinaryOp(397					el!(Expr::Num(2.0)),398					BinaryOpType::Mul,399					el!(Expr::Num(2.0))400				))401			))402		);403	}404405	#[test]406	fn basic_math_with_indents() {407		assert_eq!(parse!("2	+ 	  2	  *	2   	"), expressions::basic_math());408	}409410	#[test]411	fn basic_math_parened() {412		assert_eq!(413			parse!("2+(2+2*2)"),414			el!(Expr::BinaryOp(415				el!(Expr::Num(2.0)),416				BinaryOpType::Add,417				el!(Expr::Parened(expressions::basic_math())),418			))419		);420	}421422	/// Comments should not affect parsing423	#[test]424	fn comments() {425		assert_eq!(426			parse!("2//comment\n+//comment\n3/*test*/*/*test*/4"),427			el!(Expr::BinaryOp(428				el!(Expr::Num(2.0)),429				BinaryOpType::Add,430				el!(Expr::BinaryOp(431					el!(Expr::Num(3.0)),432					BinaryOpType::Mul,433					el!(Expr::Num(4.0))434				))435			))436		);437	}438439	/// Comments should be able to be escaped440	#[test]441	fn comment_escaping() {442		assert_eq!(443			parse!("2/*\\*/+*/ - 22"),444			el!(Expr::BinaryOp(445				el!(Expr::Num(2.0)),446				BinaryOpType::Sub,447				el!(Expr::Num(22.0))448			))449		);450	}451452	#[test]453	fn suffix() {454		// assert_eq!(parse!("std.test"), el!(Expr::Num(2.2)));455		// assert_eq!(parse!("std(2)"), el!(Expr::Num(2.2)));456		// assert_eq!(parse!("std.test(2)"), el!(Expr::Num(2.2)));457		// assert_eq!(parse!("a[b]"), el!(Expr::Num(2.2)))458	}459460	#[test]461	fn array_comp() {462		use Expr::*;463		assert_eq!(464			parse!("[std.deepJoin(x) for x in arr]"),465			el!(ArrComp(466				el!(Apply(467					el!(Index(468						el!(Var("std".to_owned())),469						el!(Str("deepJoin".to_owned()))470					)),471					ArgsDesc(vec![Arg(None, el!(Var("x".to_owned())))]),472					false,473				)),474				vec![CompSpec::ForSpec(ForSpecData(475					"x".to_owned(),476					el!(Var("arr".to_owned()))477				))]478			)),479		)480	}481482	#[test]483	fn reserved() {484		use Expr::*;485		assert_eq!(parse!("null"), el!(Literal(LiteralType::Null)));486		assert_eq!(parse!("nulla"), el!(Var("nulla".to_owned())));487	}488489	#[test]490	fn multiple_args_buf() {491		parse!("a(b, null_fields)");492	}493494	#[test]495	fn infix_precedence() {496		use Expr::*;497		assert_eq!(498			parse!("!a && !b"),499			el!(BinaryOp(500				el!(UnaryOp(UnaryOpType::Not, el!(Var("a".to_owned())))),501				BinaryOpType::And,502				el!(UnaryOp(UnaryOpType::Not, el!(Var("b".to_owned()))))503			))504		);505	}506507	#[test]508	fn infix_precedence_division() {509		use Expr::*;510		assert_eq!(511			parse!("!a / !b"),512			el!(BinaryOp(513				el!(UnaryOp(UnaryOpType::Not, el!(Var("a".to_owned())))),514				BinaryOpType::Div,515				el!(UnaryOp(UnaryOpType::Not, el!(Var("b".to_owned()))))516			))517		);518	}519520	#[test]521	fn double_negation() {522		use Expr::*;523		assert_eq!(524			parse!("!!a"),525			el!(UnaryOp(526				UnaryOpType::Not,527				el!(UnaryOp(UnaryOpType::Not, el!(Var("a".to_owned()))))528			))529		)530	}531532	#[test]533	fn array_test_error() {534		parse!("[a for a in b if c for e in f]");535		//                    ^^^^ failed code536	}537538	#[test]539	fn can_parse_stdlib() {540		parse!(jsonnet_stdlib::STDLIB_STR);541	}542543	use test::Bencher;544545	// From source code546	#[bench]547	fn bench_parse_peg(b: &mut Bencher) {548		b.iter(|| parse!(jsonnet_stdlib::STDLIB_STR))549	}550551	// From serialized blob552	#[bench]553	fn bench_parse_serde_bincode(b: &mut Bencher) {554		let serialized = bincode::serialize(&parse!(jsonnet_stdlib::STDLIB_STR)).unwrap();555		b.iter(|| bincode::deserialize::<LocExpr>(&serialized))556	}557}