diff options
| author | Nadrieril | 2020-05-10 19:32:34 +0100 |
|---|---|---|
| committer | Nadrieril | 2020-10-28 20:18:17 +0000 |
| commit | 9e3f68fc54babf24133cf66ae6be7d069ba2c271 (patch) | |
| tree | ac3f0782fb90c8f6b03b3d29d1032d06d637e4ee /dhall/src/syntax/ast/expr.rs | |
| parent | 2b4ba42b7f0a44893f17548f069cec1e60819aa4 (diff) | |
Prefer u64/i64 to usize/isize
Diffstat (limited to 'dhall/src/syntax/ast/expr.rs')
| -rw-r--r-- | dhall/src/syntax/ast/expr.rs | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/dhall/src/syntax/ast/expr.rs b/dhall/src/syntax/ast/expr.rs index d9badb9..b1a978f 100644 --- a/dhall/src/syntax/ast/expr.rs +++ b/dhall/src/syntax/ast/expr.rs @@ -7,9 +7,8 @@ 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 Integer = i64; +pub type Natural = u64; pub type Double = NaiveDouble; /// Double with bitwise equality |