[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