Changes between Version 29 and Version 30 of BadUnsafeCoercions
- Timestamp:
- Feb 17, 2015 8:37:46 PM (5 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
BadUnsafeCoercions
v29 v30 46 46 47 47 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) 48 50 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-4holds.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. 50 52 51 53 If any of those rules are violated then linter should produce a warning.