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 /serde_dhall/src/lib.rs | |
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 '')
-rw-r--r-- | serde_dhall/src/lib.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/serde_dhall/src/lib.rs b/serde_dhall/src/lib.rs index cf9343a..8291f74 100644 --- a/serde_dhall/src/lib.rs +++ b/serde_dhall/src/lib.rs @@ -30,7 +30,7 @@ //! let data = "{ x = 1, y = 1 + 1 } : { x: Natural, y: Natural }"; //! //! // Deserialize it to a Rust type. -//! let deserialized_map: HashMap<String, usize> = serde_dhall::from_str(data).parse()?; +//! let deserialized_map: HashMap<String, u64> = serde_dhall::from_str(data).parse()?; //! //! let mut expected_map = HashMap::new(); //! expected_map.insert("x".to_string(), 1); @@ -140,7 +140,7 @@ //! // the data matches the provided type. //! let deserialized_map = serde_dhall::from_str(point_data) //! .type_annotation(&point_type) -//! .parse::<HashMap<String, usize>>()?; +//! .parse::<HashMap<String, u64>>()?; //! //! let mut expected_map = HashMap::new(); //! expected_map.insert("x".to_string(), 1); |