Changes between Version 29 and Version 30 of BadUnsafeCoercions


Ignore:
Timestamp:
Feb 17, 2015 8:37:46 PM (5 years ago)
Author:
qnikst
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • BadUnsafeCoercions

    v29 v30  
    4646
    4747  3. If types are unlifted then they either should be both floating or both integral.  Reason: on many architectures, floating point values are held in special registers.
     48   
     49  4. No coercions between vector (wiki:SIMD SIMD pages) types are allowed at all. (Reason: there is no correct rules for such coercions)
    4850
    49   4. If types are unboxed tuples then tuple `(# A_1,..,A_n #)` can be coerced to `(# B_1,..,B_m #)` if `n=m` and for each pair `A_i, B_i` rules 1-4 holds.
     51  5. If types are unboxed tuples then tuple `(# A_1,..,A_n #)` can be coerced to `(# B_1,..,B_m #)` if `n=m` and for each pair `A_i, B_i` rules 1-5 holds.
    5052
    5153If any of those rules are violated then linter should produce a warning.