diff --git a/src/Data/Abstract/Value/Concrete.hs b/src/Data/Abstract/Value/Concrete.hs index 6f11698a1..845d61bd2 100644 --- a/src/Data/Abstract/Value/Concrete.hs +++ b/src/Data/Abstract/Value/Concrete.hs @@ -269,6 +269,7 @@ instance ( Coercible body (Eff effects) liftBitwise operator target | Integer (Number.Integer i) <- target = pure . integer $ operator i + | Float (Number.Decimal i) <- target = pure . integer $ operator (coefficient i) | otherwise = throwValueError (BitwiseError target) liftBitwise2 operator left right