From 5e96b88d9c67c6893d34bf59f1b8ca4b32c0c277 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Wed, 14 Mar 2018 15:40:43 -0400 Subject: [PATCH] =?UTF-8?q?Revert=20"=E2=80=A6and=20some=20more."?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit This reverts commit 4f6c091f13ad21b6995f96bd7d55e859ad43be4b. --- src/Data/Abstract/Value.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Data/Abstract/Value.hs b/src/Data/Abstract/Value.hs index 09236eb32..ca774ba3c 100644 --- a/src/Data/Abstract/Value.hs +++ b/src/Data/Abstract/Value.hs @@ -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