diff options
| author | Nadrieril | 2020-10-28 20:38:29 +0000 |
|---|---|---|
| committer | GitHub | 2020-10-28 20:38:29 +0000 |
| commit | 70727acbda68e104f60ae1dbbe95adbcec08a628 (patch) | |
| tree | ac3f0782fb90c8f6b03b3d29d1032d06d637e4ee /dhall/src/syntax/ast | |
| parent | 2b4ba42b7f0a44893f17548f069cec1e60819aa4 (diff) | |
| parent | 9e3f68fc54babf24133cf66ae6be7d069ba2c271 (diff) | |
Merge pull request #188 from Nadrieril/change-nums
Use u64/i64 instead of usize/isize for the main number types
Diffstat (limited to 'dhall/src/syntax/ast')
| -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 |