From 719f33106d416da5241777e27493826946de7226 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Mon, 26 Mar 2018 12:00:26 -0400 Subject: [PATCH] Spell out the parameters to the synonyms. --- src/Control/Abstract/Evaluator.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Control/Abstract/Evaluator.hs b/src/Control/Abstract/Evaluator.hs index 643fd9695..80768be2f 100644 --- a/src/Control/Abstract/Evaluator.hs +++ b/src/Control/Abstract/Evaluator.hs @@ -185,10 +185,10 @@ instance (Effectful m, Members '[Resumable exc] effects, Monad (m effects)) => M -- | The environment for an abstract value type. -type EnvironmentFor v = Env.Environment (LocationFor v) v +type EnvironmentFor value = Env.Environment (LocationFor value) value -- | The exports for an abstract value type. -type ExportsFor v = Export.Exports (LocationFor v) v +type ExportsFor value = Export.Exports (LocationFor value) value -- | The 'Heap' for an abstract value type. type HeapFor value = Heap (LocationFor value) value