Commit afa1cfab authored by Jeff Smits's avatar Jeff Smits

Getting rid of some build time warnings

parent 8b81c7a7
......@@ -278,7 +278,6 @@ fn eval_match<'a>(context: &MutContext<'a>,
.and_then(|i2| if i == i2 { Some(()) } else { None })
.ok_or(Error::StrategyFailed)
}
#[allow(unknown_lints, float_cmp)]
Real(BrokenF32(f)) => {
eprintln!("WARNING: Pattern matching against floating point literal: very unlikely to \
match!");
......
......@@ -29,13 +29,6 @@ mod context;
mod preprocess;
mod primitives;
macro_rules! eprintln {
($($tt:tt)*) => {{
use std::io::{Write, stderr};
writeln!(&mut stderr(), $($tt)*).unwrap();
}}
}
#[derive(Debug, StructOpt)]
struct Opt {
// #[structopt(short = "d", long = "debug", help = "Activate debug mode")]
......
......@@ -12,13 +12,6 @@ use try_from::{TryInto, TryFrom};
use std::result;
macro_rules! eprintln {
($($tt:tt)*) => {{
use std::io::{Write, stderr};
writeln!(&mut stderr(), $($tt)*).unwrap();
}}
}
pub fn preprocess(program: ctree::Module) -> Result<Scope<ATermRef>> {
let decls = match program {
ctree::Module::Module(_, decls) |
......
......@@ -7,13 +7,6 @@ use preprocess::StrategyDef;
use aterm::{Term, ATermFactory as ATF, ATerm as A};
use aterm::print::ATermWrite;
macro_rules! eprintln {
($($tt:tt)*) => {{
use std::io::{Write, stderr};
writeln!(&mut stderr(), $($tt)*).unwrap();
}}
}
pub fn get_constructor<'a>(context: &MutContext<'a>,
sargs: Vec<StrategyDef>,
targs: Vec<ATermRef>,
......
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