Export zonkEvBinds from TcHsSyn.
authorConal Elliott <conal@conal.net>
Sun, 10 Apr 2016 17:13:44 +0000 (19:13 +0200)
committerBen Gamari <ben@smart-cactus.org>
Sun, 10 Apr 2016 20:58:27 +0000 (22:58 +0200)
Needed for constructing correct constraint-satisfying code
(particularly type class instances) in a Core-to-Core transformation.

Reviewers: simonpj, austin, bgamari

Reviewed By: austin, bgamari

Subscribers: thomie

Differential Revision: https://phabricator.haskell.org/D2088

GHC Trac Issues: #11804

compiler/typecheck/TcHsSyn.hs

index 502842d..5d78adb 100644 (file)
@@ -30,6 +30,7 @@ module TcHsSyn (
         emptyZonkEnv, mkEmptyZonkEnv,
         zonkTcTypeToType, zonkTcTypeToTypes, zonkTyVarOcc,
         zonkCoToCo, zonkTcKindToKind,
+        zonkEvBinds,
 
         -- * Validity checking
         checkForRepresentationPolymorphism