[commit: ghc] wip/14691: Forgot zonkEvTerm env (EvCallStack ty cs) (2e5bc02)

git at git.haskell.org git at git.haskell.org
Mon Jan 22 23:24:02 UTC 2018


Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/14691
Link       : http://ghc.haskell.org/trac/ghc/changeset/2e5bc02c38c05f7d12d046f1934eac20910c93ca/ghc

>---------------------------------------------------------------

commit 2e5bc02c38c05f7d12d046f1934eac20910c93ca
Author: Joachim Breitner <mail at joachim-breitner.de>
Date:   Mon Jan 22 18:23:45 2018 -0500

    Forgot zonkEvTerm env (EvCallStack ty cs)


>---------------------------------------------------------------

2e5bc02c38c05f7d12d046f1934eac20910c93ca
 compiler/typecheck/TcHsSyn.hs | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/compiler/typecheck/TcHsSyn.hs b/compiler/typecheck/TcHsSyn.hs
index 43ff221..fc448ff 100644
--- a/compiler/typecheck/TcHsSyn.hs
+++ b/compiler/typecheck/TcHsSyn.hs
@@ -1425,6 +1425,13 @@ zonkEvTerm env (EvExpr e) =
   EvExpr <$> zonkCoreExpr env e
 zonkEvTerm env (EvTypeable ty ev) =
   EvTypeable <$> zonkTcTypeToType env ty <*> zonkEvTypeable env ev
+zonkEvTerm env (EvCallStack ty cs)
+  = do ty' <- zonkTcTypeToType env ty
+       case cs of
+          EvCsEmpty -> return (EvCallStack ty' cs)
+          EvCsPushCall n l tm -> do { tm' <- zonkEvTerm env tm
+                                    ; return (EvCallStack ty' (EvCsPushCall n l tm')) }
+
 
 zonkCoreExpr :: ZonkEnv -> CoreExpr -> TcM CoreExpr
 zonkCoreExpr env (Var v)



More information about the ghc-commits mailing list