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

Move the instances section header below the classes.

Browse Source
This commit is contained in:
Rob Rix 2017-12-21 09:45:11 -05:00
parent 06669a158e
commit 597914a902
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -76,8 +76,6 @@ type family LocationFor value :: * where
LocationFor Type.Type = Monovariant LocationFor Type.Type = Monovariant
-- Instances
class ValueRoots l v | v -> l where class ValueRoots l v | v -> l where
valueRoots :: v -> Live l v valueRoots :: v -> Live l v
@ -87,6 +85,9 @@ class AbstractValue v where
boolean :: Bool -> v boolean :: Bool -> v
string :: ByteString -> v string :: ByteString -> v
-- Instances
instance (FreeVariables term, Ord location) => ValueRoots location (Value location term) where instance (FreeVariables term, Ord location) => ValueRoots location (Value location term) where
valueRoots v valueRoots v
| Just (Closure names body env) <- prj v = envRoots env (foldr Set.delete (freeVariables body) names) | Just (Closure names body env) <- prj v = envRoots env (foldr Set.delete (freeVariables body) names)