From bb021d404a20a4ebfadfef2fc40391b5ac2d8f3f Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@me.com>
Date: Wed, 15 Aug 2018 11:47:43 -0400
Subject: [PATCH] Use the ModuleEffects synonym in UtilEff.

---
 src/Semantic/Util.hs | 13 ++++---------
 1 file changed, 4 insertions(+), 9 deletions(-)

diff --git a/src/Semantic/Util.hs b/src/Semantic/Util.hs
index 3de33479a..78e8059d0 100644
--- a/src/Semantic/Util.hs
+++ b/src/Semantic/Util.hs
@@ -54,14 +54,9 @@ justEvaluating
   . runValueError
 
 newtype UtilEff address rest a = UtilEff
-  { runUtilEff :: Eff (  ValueEffects address (Value address (UtilEff address rest))
-                      (  Exc (LoopControl address)
-                      ': Exc (Return address)
-                      ': Env address
-                      ': Deref (Value address (UtilEff address rest))
-                      ': Allocator address
-                      ': Reader ModuleInfo
-                      ': Modules address
+  { runUtilEff :: Eff (  ValueEffects  address (Value address (UtilEff address rest))
+                      (  ModuleEffects address (Value address (UtilEff address rest))
+                      (  Modules address
                       ': Reader (ModuleTable (NonEmpty (Module (ModuleResult address))))
                       ': Reader Span
                       ': Reader PackageInfo
@@ -75,7 +70,7 @@ newtype UtilEff address rest a = UtilEff
                       ': Fresh
                       ': State (Heap address (Value address (UtilEff address rest)))
                       ': rest
-                      )) a
+                      ))) a
   }
 
 checking