diff options
| author | Nadrieril | 2020-10-27 23:33:26 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-10-27 23:33:26 +0000 |
| commit | 77258af83dfe93293ad854ccb401d1ce7453edfc (patch) | |
| tree | a349d40ab3b9f5bee0ebbe2d3da4a87f50d90ae8 /dhall | |
| parent | f84609a06372eedcf4727ceb91430b82c99e6039 (diff) | |
Make `SimpleValue` deserializable within other types
Fixes https://github.com/Nadrieril/dhall-rust/issues/184
Diffstat (limited to 'dhall')
| -rw-r--r-- | dhall/src/syntax/ast/expr.rs | 1 |
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; |