From c098d598d24cfb1127dd1dc523cd6f4fc190bf29 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Tue, 5 Mar 2019 22:33:34 +0100 Subject: Use core aliases for number types --- dhall/src/parser.rs | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'dhall/src') diff --git a/dhall/src/parser.rs b/dhall/src/parser.rs index 7bdc085..5a63d75 100644 --- a/dhall/src/parser.rs +++ b/dhall/src/parser.rs @@ -6,6 +6,7 @@ use pest::Parser; use dhall_parser::{DhallParser, Rule}; +use crate::core; use crate::core::{bx, Builtin, Const, Expr, V}; use crate::grammar; use crate::grammar_util::{BoxExpr, ParsedExpr}; @@ -562,7 +563,7 @@ rule!(single_quote_literal; } ); -rule!(double_literal_raw; +rule!(double_literal_raw; raw_pair!(pair) => { pair.as_str().trim() .parse() @@ -574,7 +575,7 @@ rule!(minus_infinity_literal<()>; children!() => ()); rule!(plus_infinity_literal<()>; children!() => ()); rule!(NaN_raw<()>; children!() => ()); -rule!(natural_literal_raw; +rule!(natural_literal_raw; raw_pair!(pair) => { pair.as_str().trim() .parse() @@ -582,7 +583,7 @@ rule!(natural_literal_raw; } ); -rule!(integer_literal_raw; +rule!(integer_literal_raw; raw_pair!(pair) => { pair.as_str().trim() .parse() -- cgit v1.2.3