redex
redex copied to clipboard
Fix some shift-sign-overflow
The project currently does not compile with -Wshift-sign-overflow.
This fixes that, or at least some of it. This will shortly be required for achieving internal compilation.