File tree Expand file tree Collapse file tree 4 files changed +4
-4
lines changed Expand file tree Collapse file tree 4 files changed +4
-4
lines changed Original file line number Diff line number Diff line change 2
2
refs/heads/master: 61b1875c16de39c166b0f4d54bba19f9c6777d1a
3
3
refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
4
4
refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
5
- refs/heads/try: 4838d7860ed07581960fff73dcb1e1848d8b363d
5
+ refs/heads/try: 5fb0906f43f1b684aec610581da0d7c93948de37
6
6
refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
Original file line number Diff line number Diff line change @@ -16,7 +16,7 @@ Const: max_value
16
16
17
17
Return the maximal value for a u32
18
18
*/
19
- const max_value: u32 = 0xffff_ffffu32 ;
19
+ const max_value: u32 = 0u32 - 1u32 ;
20
20
21
21
pure fn min ( x : u32 , y : u32 ) -> u32 { if x < y { x } else { y } }
22
22
pure fn max ( x : u32 , y : u32 ) -> u32 { if x > y { x } else { y } }
Original file line number Diff line number Diff line change @@ -16,7 +16,7 @@ Const: max_value
16
16
17
17
Return the maximal value for a u64
18
18
*/
19
- const max_value: u64 = 18446744073709551615u64 ;
19
+ const max_value: u64 = 0u64 - 1u64 ;
20
20
21
21
pure fn min ( x : u64 , y : u64 ) -> u64 { if x < y { x } else { y } }
22
22
pure fn max ( x : u64 , y : u64 ) -> u64 { if x > y { x } else { y } }
Original file line number Diff line number Diff line change @@ -16,7 +16,7 @@ Const: max_value
16
16
17
17
The maximum value of a u8.
18
18
*/
19
- const max_value: u8 = 255u8 ;
19
+ const max_value: u8 = 0u8 - 1u8 ;
20
20
21
21
/* Function: add */
22
22
pure fn add ( x : u8 , y : u8 ) -> u8 { ret x + y; }
You can’t perform that action at this time.
0 commit comments