[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