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

for real this time

Browse Source
This commit is contained in:
Patrick Thomson 2018-03-13 12:59:45 -04:00
parent 837b59f763
commit 0cdcba6778
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Control/Abstract/Value.hs
View File

@ -7,7 +7,7 @@ import Data.Abstract.Environment
import Data.Abstract.FreeVariables
import Data.Abstract.Type as Type
import Data.Abstract.Value as Value
import Data.Bitraversable
import Data.Monoid (Alt (..))
import Data.Scientific (Scientific, fromFloatDigits, toRealFloat)
import Prelude hiding (fail)
import Prologue
@ -203,7 +203,7 @@ instance (Alternative m, MonadAnalysis term Type m, MonadFresh m) => MonadValue
(Int, Type.Float) -> pure Type.Float
_ -> unify left right
liftComparison _ left right = left <|> right
liftComparison _ left right = pure left <|> pure right
apply op params = do
tvar <- fresh