1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
|
const TRUE: bool = true;
const FALSE: bool = !TRUE;
const U8ZERO: u8 = 0;
const U8ONE: u8 = U8ZERO + 1;
const U16ZERO: u16 = 0;
const U16ONE: u16 = U16ZERO + 1;
const U32ZERO: u32 = 0;
const U32ONE: u32 = U32ZERO + 1;
const U64ZERO: u64 = 0;
const U64ONE: u64 = U64ZERO + 1;
const U128ZERO: u128 = 0;
const U128ONE: u128 = U128ZERO + 1;
const I8ZERO: i8 = 0;
const I8ONE: i8 = I8ZERO + 1;
const I16ZERO: i16 = 0;
const I16ONE: i16 = I16ZERO + 1;
const I32ZERO: i32 = 0;
const I32ONE: i32 = I32ZERO + 1;
const I64ZERO: i64 = 0;
const I64ONE: i64 = I64ZERO + 1;
const I128ZERO: i128 = 0;
const I128ONE: i128 = I128ZERO + 1;
const F32ZERO: f32 = 0.0;
const F32ONE: f32 = F32ZERO + 1.0;
const F64ZERO: f64 = 0.0;
const F64ONE: f64 = F64ZERO + 1.0;
const USIZEZERO: usize = 0;
const USIZEONE: usize = USIZEZERO + 1;
const ISIZEZERO: isize = 0;
const ISIZEONE: isize = ISIZEZERO + 1;
/* Not yet supported
const CHARPI: char = '\u{03C0}';
const STRHELLO: &str = "Hello World!";
*/
extern "C" { fn abort (); }
pub fn main ()
{
if TRUE == FALSE { unsafe { abort (); } }
if U8ZERO > U8ONE { unsafe { abort (); } }
if U16ZERO > U16ONE { unsafe { abort (); } }
if U32ZERO > U32ONE { unsafe { abort (); } }
if U64ZERO > U64ONE { unsafe { abort (); } }
if U128ZERO > U128ONE { unsafe { abort (); } }
if I8ONE <= I8ZERO { unsafe { abort (); } }
if I16ONE <= I16ZERO { unsafe { abort (); } }
if I32ONE <= I32ZERO { unsafe { abort (); } }
if I64ONE <= I64ZERO { unsafe { abort (); } }
if I128ONE <= I128ZERO { unsafe { abort (); } }
if F32ZERO + F32ONE != F32ONE { unsafe { abort (); } }
if F64ZERO + F64ONE != F64ONE { unsafe { abort (); } }
if USIZEZERO + USIZEONE - USIZEONE + USIZEZERO != USIZEZERO
{
unsafe { abort (); }
}
if ISIZEZERO + ISIZEONE - ISIZEONE + ISIZEZERO != ISIZEZERO
{
unsafe { abort (); }
}
// if CHARPI != '\u{03c0}' { unsafe { abort (); } }
// if STRHELLO != "Hello World!" { unsafe { abort (); } }
}
|
