summaryrefslogtreecommitdiff
path: root/dhall
diff options
context:
space:
mode:
authorNadrieril2019-03-05 22:33:34 +0100
committerNadrieril2019-03-05 22:33:34 +0100
commitc098d598d24cfb1127dd1dc523cd6f4fc190bf29 (patch)
tree9625d729ecb6e377fd06382b2780b93e2fb442ac /dhall
parente9f55783091fb1d5c07059be865d9d1fb02d3bfa (diff)
Use core aliases for number types
Diffstat (limited to '')
-rw-r--r--dhall/src/parser.rs7
1 files changed, 4 insertions, 3 deletions
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()