src/test/run-pass/trait-inheritance-num2.rs

   1 // xfail-fast
   2
   3 // Copyright 2012 The Rust Project Developers. See the COPYRIGHT
   4 // file at the top-level directory of this distribution and at
   5 // http://rust-lang.org/COPYRIGHT.
   6 //
   7 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
   8 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
   9 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
  10 // option. This file may not be copied, modified, or distributed
  11 // except according to those terms.
  12
  13 // A more complex example of numeric extensions
  14
  15 extern mod extra;
  16
  17 use std::cmp::{Eq, Ord};
  18
  19 pub trait TypeExt {}
  20
  21
  22 impl TypeExt for u8 {}
  23 impl TypeExt for u16 {}
  24 impl TypeExt for u32 {}
  25 impl TypeExt for u64 {}
  26 impl TypeExt for uint {}
  27
  28 impl TypeExt for i8 {}
  29 impl TypeExt for i16 {}
  30 impl TypeExt for i32 {}
  31 impl TypeExt for i64 {}
  32 impl TypeExt for int {}
  33
  34 impl TypeExt for f32 {}
  35 impl TypeExt for f64 {}
  36
  37
  38 pub trait NumExt: TypeExt + Eq + Ord + Num + NumCast {}
  39
  40 impl NumExt for u8 {}
  41 impl NumExt for u16 {}
  42 impl NumExt for u32 {}
  43 impl NumExt for u64 {}
  44 impl NumExt for uint {}
  45
  46 impl NumExt for i8 {}
  47 impl NumExt for i16 {}
  48 impl NumExt for i32 {}
  49 impl NumExt for i64 {}
  50 impl NumExt for int {}
  51
  52 impl NumExt for f32 {}
  53 impl NumExt for f64 {}
  54
  55
  56 pub trait UnSignedExt: NumExt {}
  57
  58 impl UnSignedExt for u8 {}
  59 impl UnSignedExt for u16 {}
  60 impl UnSignedExt for u32 {}
  61 impl UnSignedExt for u64 {}
  62 impl UnSignedExt for uint {}
  63
  64
  65 pub trait SignedExt: NumExt {}
  66
  67 impl SignedExt for i8 {}
  68 impl SignedExt for i16 {}
  69 impl SignedExt for i32 {}
  70 impl SignedExt for i64 {}
  71 impl SignedExt for int {}
  72
  73 impl SignedExt for f32 {}
  74 impl SignedExt for f64 {}
  75
  76
  77 pub trait IntegerExt: NumExt {}
  78
  79 impl IntegerExt for u8 {}
  80 impl IntegerExt for u16 {}
  81 impl IntegerExt for u32 {}
  82 impl IntegerExt for u64 {}
  83 impl IntegerExt for uint {}
  84
  85 impl IntegerExt for i8 {}
  86 impl IntegerExt for i16 {}
  87 impl IntegerExt for i32 {}
  88 impl IntegerExt for i64 {}
  89 impl IntegerExt for int {}
  90
  91
  92 pub trait FloatExt: NumExt {}
  93
  94 impl FloatExt for f32 {}
  95 impl FloatExt for f64 {}
  96
  97
  98 fn test_float_ext<T:FloatExt>(n: T) { println!("{}", n < n) }
  99
 100 pub fn main() {
 101     test_float_ext(1f32);
 102 }