github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-20 21:31:48 +03:00
Code Issues Projects Releases Wiki Activity

Correct liftComparison.

Browse Source
This commit is contained in:
Rob Rix 2018-03-14 10:33:34 -04:00
parent 53e582fe8a
commit 568cda0f12
1 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -206,7 +206,14 @@ instance (Alternative m, MonadAnalysis term Type m, MonadFresh m) => MonadValue
(Int, Type.Float) -> pure Type.Float
_ -> unify left right
liftComparison _ left right = pure left <|> pure right
liftComparison (Concrete _) left right = case (left, right) of
(Type.Float, Int) -> pure Bool
(Int, Type.Float) -> pure Bool
_ -> unify left right *> pure Bool
liftComparison Generalized left right = case (left, right) of
(Type.Float, Int) -> pure Int
(Int, Type.Float) -> pure Int
_ -> unify left right *> pure Int
apply op params = do
tvar <- fresh