diff options
author | Joachim Breitner <mail@joachim-breitner.de> | 2018-01-22 18:23:45 -0500 |
---|---|---|
committer | Joachim Breitner <mail@joachim-breitner.de> | 2018-01-22 18:23:45 -0500 |
commit | 2e5bc02c38c05f7d12d046f1934eac20910c93ca (patch) | |
tree | a40a31c12c55362c583c7390f85a0703b4ab8759 | |
parent | 1dd450d62bd1dafa3f0bb9de7cc840c4810457a2 (diff) | |
download | haskell-2e5bc02c38c05f7d12d046f1934eac20910c93ca.tar.gz |
Forgot zonkEvTerm env (EvCallStack ty cs)
-rw-r--r-- | compiler/typecheck/TcHsSyn.hs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/compiler/typecheck/TcHsSyn.hs b/compiler/typecheck/TcHsSyn.hs index 43ff2217ee..fc448ffb91 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) |