summaryrefslogtreecommitdiff
path: root/dhall/src
diff options
context:
space:
mode:
authorNadrieril2020-10-27 23:33:26 +0000
committerNadrieril2020-10-27 23:33:26 +0000
commit77258af83dfe93293ad854ccb401d1ce7453edfc (patch)
treea349d40ab3b9f5bee0ebbe2d3da4a87f50d90ae8 /dhall/src
parentf84609a06372eedcf4727ceb91430b82c99e6039 (diff)
Make `SimpleValue` deserializable within other types
Fixes https://github.com/Nadrieril/dhall-rust/issues/184
Diffstat (limited to 'dhall/src')
-rw-r--r--dhall/src/syntax/ast/expr.rs1
1 files changed, 1 insertions, 0 deletions
diff --git a/dhall/src/syntax/ast/expr.rs b/dhall/src/syntax/ast/expr.rs
index 9d216a7..d9badb9 100644
--- a/dhall/src/syntax/ast/expr.rs
+++ b/dhall/src/syntax/ast/expr.rs
@@ -7,6 +7,7 @@ use crate::semantics::Universe;
use crate::syntax::visitor;
use crate::syntax::*;
+// TODO: `usize` was a mistake. Should use `u64`.
pub type Integer = isize;
pub type Natural = usize;
pub type Double = NaiveDouble;