Simplify wrapper construction

ocharles · Jun 16, 2018 · dc6ea21 · dc6ea21
1 parent 5f5b050
commit dc6ea21
Showing 1 changed file with 2 additions and 9 deletions.
diff --git a/plugin/AssertExplainer.hs b/plugin/AssertExplainer.hs
@@ -196,15 +196,8 @@ explain toExplain = do
       )
 
   -- Solve wanted constraints and build a wrapper.
-  evBinds <-
-    GHC.EvBinds <$> GHC.simplifyTop wanteds
-
-  ( _, zonkedEvBinds ) <-
-    GHC.zonkTcEvBinds GHC.emptyZonkEnv evBinds
-
-  let
-    wrapper =
-      GHC.mkWpLet zonkedEvBinds
+  wrapper <-
+    GHC.mkWpLet . GHC.EvBinds <$> GHC.simplifyTop wanteds
 
   -- Apply the wrapper to our type checked syntax and fully saturate the
   -- diagnostic function with the necessary arguments.