[commit: ghc] master: Export zonkEvBinds from TcHsSyn. (5a1add1)
git at git.haskell.org
git at git.haskell.org
Sun Apr 10 21:39:48 UTC 2016
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/5a1add134fdb2ab4d91b0f66de1dc89f0cd69354/ghc
>---------------------------------------------------------------
commit 5a1add134fdb2ab4d91b0f66de1dc89f0cd69354
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
>---------------------------------------------------------------
5a1add134fdb2ab4d91b0f66de1dc89f0cd69354
compiler/typecheck/TcHsSyn.hs | 1 +
1 file changed, 1 insertion(+)
diff --git a/compiler/typecheck/TcHsSyn.hs b/compiler/typecheck/TcHsSyn.hs
index 502842d..5d78adb 100644
--- a/compiler/typecheck/TcHsSyn.hs
+++ b/compiler/typecheck/TcHsSyn.hs
@@ -30,6 +30,7 @@ module TcHsSyn (
emptyZonkEnv, mkEmptyZonkEnv,
zonkTcTypeToType, zonkTcTypeToTypes, zonkTyVarOcc,
zonkCoToCo, zonkTcKindToKind,
+ zonkEvBinds,
-- * Validity checking
checkForRepresentationPolymorphism
More information about the ghc-commits
mailing list