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

Simplify the ValueRoots instance for closures.

Browse Source
This commit is contained in:
Rob Rix 2018-12-06 10:09:50 -05:00
parent e639c3ffc3
commit 8ff61d8299
1 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -50,10 +50,8 @@ data Value term address
deriving (Eq, Ord, Show, Generic, NFData)
instance Ord address => ValueRoots address (Value term address) where
valueRoots v
| Closure _ _ _ _ _ _ _ <- v = undefined -- Env.addresses env
| otherwise = mempty
instance ValueRoots address (Value term address) where
valueRoots _ = lowerBound
instance ( FreeVariables term