github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-07 07:58:12 +03:00
Code Issues Projects Releases Wiki Activity

adjust liftBitwise to include float

Browse Source
This commit is contained in:
Ayman Nadeem 2018-08-20 18:57:28 -04:00
parent da79989904
commit bf0d2c0418
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/Data/Abstract/Value/Concrete.hs
View File

@ -269,6 +269,7 @@ instance ( Coercible body (Eff effects)
liftBitwise operator target liftBitwise operator target
| Integer (Number.Integer i) <- target = pure . integer $ operator i | Integer (Number.Integer i) <- target = pure . integer $ operator i
| Float (Number.Decimal i) <- target = pure . integer $ operator (coefficient i)
| otherwise = throwValueError (BitwiseError target) | otherwise = throwValueError (BitwiseError target)
liftBitwise2 operator left right liftBitwise2 operator left right