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/parser.rs')

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<String>;
     }
 );
 
-rule!(double_literal_raw<f64>;
+rule!(double_literal_raw<core::Double>;
     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<usize>;
+rule!(natural_literal_raw<core::Natural>;
     raw_pair!(pair) => {
         pair.as_str().trim()
             .parse()
@@ -582,7 +583,7 @@ rule!(natural_literal_raw<usize>;
     }
 );
 
-rule!(integer_literal_raw<isize>;
+rule!(integer_literal_raw<core::Integer>;
     raw_pair!(pair) => {
         pair.as_str().trim()
             .parse()
-- 
cgit v1.2.3