Address warnings
This commit is contained in:
parent
675063e1b8
commit
3414e8075c
|
@ -6,7 +6,7 @@ mod terms;
|
||||||
|
|
||||||
pub(crate) use helpers::word_boundary;
|
pub(crate) use helpers::word_boundary;
|
||||||
pub(crate) use literals::{boolean, integer, special_integer, string};
|
pub(crate) use literals::{boolean, integer, special_integer, string};
|
||||||
pub use names::{function_or_predicate_name, variable_name};
|
pub(crate) use names::{function_or_predicate_name, variable_name};
|
||||||
pub use terms::term;
|
pub use terms::term;
|
||||||
pub use formulas::formula;
|
pub use formulas::formula;
|
||||||
|
|
||||||
|
|
|
@ -2,15 +2,15 @@ use nom::
|
||||||
{
|
{
|
||||||
IResult,
|
IResult,
|
||||||
branch::alt,
|
branch::alt,
|
||||||
bytes::complete::{escaped_transform, tag},
|
bytes::complete::tag,
|
||||||
character::complete::{multispace0, none_of},
|
character::complete::multispace0,
|
||||||
combinator::{map, opt},
|
combinator::{map, opt},
|
||||||
multi::{many1, separated_list},
|
multi::{many1, separated_list},
|
||||||
sequence::{delimited, pair, preceded, terminated},
|
sequence::{delimited, pair, preceded, terminated},
|
||||||
};
|
};
|
||||||
|
|
||||||
use super::{Declarations, boolean, function_or_predicate_name, integer, special_integer, string,
|
use super::{Declarations, boolean, function_or_predicate_name, integer, special_integer, string,
|
||||||
variable_name, word_boundary};
|
variable_name};
|
||||||
|
|
||||||
fn negative<'i>(i: &'i str, d: &Declarations) -> IResult<&'i str, crate::Term>
|
fn negative<'i>(i: &'i str, d: &Declarations) -> IResult<&'i str, crate::Term>
|
||||||
{
|
{
|
||||||
|
|
Loading…
Reference in New Issue