From bf0d2c04184038c73bda9533898c2895c96e84fc Mon Sep 17 00:00:00 2001 From: Ayman Nadeem Date: Mon, 20 Aug 2018 18:57:28 -0400 Subject: [PATCH] adjust liftBitwise to include float --- src/Data/Abstract/Value/Concrete.hs | 1 + 1 file changed, 1 insertion(+) 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