[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