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

…and some more.

Browse Source
This commit is contained in:
Rob Rix 2018-03-14 11:22:25 -04:00
parent b8a3bd72f0
commit c1f3bd5711
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

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