From 8cd386521267bf95ae00b7068cda9422305eec29 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Wed, 27 Feb 2019 19:27:28 +0100 Subject: Fix mixed up parsing of integers/naturals --- src/lexer.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/lexer.rs') diff --git a/src/lexer.rs b/src/lexer.rs index d396951..32e6abe 100644 --- a/src/lexer.rs +++ b/src/lexer.rs @@ -89,11 +89,11 @@ macro_rules! digits { }} } -named!(natural<&str, usize>, preceded!(tag!("+"), digits!(usize, 10))); +named!(natural<&str, usize>, digits!(usize, 10)); named!(integral<&str, isize>, digits!(isize, 10)); named!(integer<&str, isize>, alt!( preceded!(tag!("-"), map!(integral, |i: isize| -i)) | - integral + preceded!(tag!("+"), integral) )); named!(boolean<&str, bool>, alt!( value!(true, tag!("True")) | -- cgit v1.2.3