Commit f1db868f authored by Jeff Smits's avatar Jeff Smits

removed warnings about non-snake-case

parent 2a6c2955
......@@ -42,7 +42,7 @@ pub fn mkterm<'d, 'f: 'd>(
targs: Vec<ATermRef<'f>>,
current: ATermRef<'f>,
) -> Result<ATermRef<'f>> {
use aterm::utils::string_unescape;
use ctree::string_unescape;
use factory::Term::*;
fn truncate_at_illegal_chars(s: &str) -> &str {
......@@ -173,6 +173,7 @@ pub fn checksum<'d, 'f: 'd>(
Ok(context.factory.string(hasher.finish().to_string()))
}
#[allow(non_snake_case)]
pub fn isPlaceholder<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
sargs: Vec<StrategyDef<'d>>,
......@@ -191,6 +192,7 @@ pub fn isPlaceholder<'d, 'f: 'd>(
}
}
#[allow(non_snake_case)]
pub fn makePlaceholder<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
sargs: Vec<StrategyDef<'d>>,
......@@ -205,6 +207,7 @@ pub fn makePlaceholder<'d, 'f: 'd>(
Ok(context.factory.stratego_placeholder(targs[0].clone()))
}
#[allow(non_snake_case)]
pub fn getPlaceholder<'d, 'f: 'd>(
context: &MutContext<'d, 'f>,
sargs: Vec<StrategyDef<'d>>,
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment