[commit: ghc] ghc-8.0: Export zonkEvBinds from TcHsSyn. (ea17363)
git at git.haskell.org
git at git.haskell.org
Sun Apr 10 22:17:00 UTC 2016
Repository : ssh://git@git.haskell.org/ghc
On branch : ghc-8.0
Link : http://ghc.haskell.org/trac/ghc/changeset/ea173634a219e1191144a8c924d88fc6579d4274/ghc
>---------------------------------------------------------------
commit ea173634a219e1191144a8c924d88fc6579d4274
Author: Conal Elliott <conal at conal.net>
Date: Sun Apr 10 19:13:44 2016 +0200
Export zonkEvBinds from TcHsSyn.
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
(cherry picked from commit 5a1add134fdb2ab4d91b0f66de1dc89f0cd69354)
>---------------------------------------------------------------
ea173634a219e1191144a8c924d88fc6579d4274
compiler/typecheck/TcHsSyn.hs | 1 +
1 file changed, 1 insertion(+)
diff --git a/compiler/typecheck/TcHsSyn.hs b/compiler/typecheck/TcHsSyn.hs
index 5a5a3a7..dedcbbc 100644
--- a/compiler/typecheck/TcHsSyn.hs
+++ b/compiler/typecheck/TcHsSyn.hs
@@ -27,6 +27,7 @@ module TcHsSyn (
emptyZonkEnv, mkEmptyZonkEnv,
zonkTcTypeToType, zonkTcTypeToTypes, zonkTyVarOcc,
zonkCoToCo, zonkTcKindToKind,
+ zonkEvBinds,
-- * Validity checking
checkForRepresentationPolymorphism
More information about the ghc-commits
mailing list