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

📝 LocationFor.

Browse Source
This commit is contained in:
Rob Rix 2017-12-21 09:44:39 -05:00
parent 656bab23dc
commit 06669a158e
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -70,6 +70,7 @@ instance Ord1 String where liftCompare = genericLiftCompare
instance Show1 String where liftShowsPrec = genericLiftShowsPrec instance Show1 String where liftShowsPrec = genericLiftShowsPrec
-- | The location type (the body of 'Address'es) which should be used for an abstract value type.
type family LocationFor value :: * where type family LocationFor value :: * where
LocationFor (Value location term) = location LocationFor (Value location term) = location
LocationFor Type.Type = Monovariant LocationFor Type.Type = Monovariant