Change (unsigned-byte ,width) to (integer 0 ,(1- (ash 1 width)))
because when width is 0, (unsigned-byte 0) is invalid and we really wanted (integer 0 0) anyway. Happens when deriving the type of (logand x 0).
Loading
Please register or sign in to comment