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

add numeric carrier instance to abstract domain

Browse Source
This commit is contained in:
Ayman Nadeem 2018-12-12 16:59:46 -05:00
parent d46e7e13b5
commit e953380aaf
1 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/Data/Abstract/Value/Abstract.hs
View File

@ -91,6 +91,16 @@ instance Carrier sig m
Abstract.String _ k -> runStringC (k Abstract)
AsString _ k -> runStringC (k ""))
instance Carrier sig m
=> Carrier (Numeric Abstract :+: sig) (NumericC Abstract m) where
ret = NumericC . ret
eff = NumericC . handleSum (eff . handleCoercible) (\case
Integer _ k -> runNumericC (k Abstract)
Float _ k -> runNumericC (k Abstract)
Rational _ k -> runNumericC (k Abstract)
LiftNumeric _ _ k -> runNumericC (k Abstract)
LiftNumeric2 _ _ _ k -> runNumericC (k Abstract))
instance Ord address => ValueRoots address Abstract where
valueRoots = mempty