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

Revert "…and some more."

Browse Source 
This reverts commit 4f6c091f13ad21b6995f96bd7d55e859ad43be4b.
This commit is contained in:
Rob Rix 2018-03-14 15:40:43 -04:00
parent 770ca5b290
commit 5e96b88d9c
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -123,10 +123,10 @@ instance Ord1 Tuple where liftCompare = genericLiftCompare
instance Show1 Tuple where liftShowsPrec = genericLiftShowsPrec
-- | The environment for an abstract value type.
type EnvironmentFor value = Environment (Address (LocationFor value) value)
type EnvironmentFor v = Environment (Address (LocationFor v) v)
-- | The store for an abstract value type.
type StoreFor value = Store (LocationFor value) value
type StoreFor v = Store (LocationFor v) v
-- | The cell for an abstract value type.
type CellFor value = Cell (LocationFor value) value