Ivory.Opts.BitShift

Check for undefined bitshift behavior. Bit-shifts on signed ints are already disallowed. This check is that we bit-shift by strictly less than n for an n-bit value.

Documentation

bitShiftFold :: Proc -> Proc