Changes between Version 29 and Version 30 of BadUnsafeCoercions

Timestamp:

Feb 17, 2015 8:37:46 PM (5 years ago)

Author:

qnikst

Comment:

--

BadUnsafeCoercions

@@ -46 +46 @@
 
   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.
+   
+  4. No coercions between vector (wiki:SIMD SIMD pages) types are allowed at all. (Reason: there is no correct rules for such coercions)
 
-  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.
+  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.
 
 If any of those rules are violated then linter should produce a warning.