-mkMachInt x = ASSERT2( inIntRange x, integer x ) MachInt x
-mkMachWord x = ASSERT2( inWordRange x, integer x ) MachWord x
-mkMachInt64 x = MachInt64 x -- Assertions?
-mkMachWord64 x = MachWord64 x -- Ditto?
+mkMachInt x = -- ASSERT2( inIntRange x, integer x )
+ -- Not true: you can write out of range Int# literals
+ -- For example, one can write (intToWord# 0xffff0000) to
+ -- get a particular Word bit-pattern, and there's no other
+ -- convenient way to write such literals, which is why we allow it.
+ MachInt x
+mkMachWord x = -- ASSERT2( inWordRange x, integer x )
+ MachWord x
+mkMachInt64 x = MachInt64 x
+mkMachWord64 x = MachWord64 x