[commit: ghc] master: Use TcM instead of it's expanded form, in TcSplice (3773e91)
git at git.haskell.org
git at git.haskell.org
Mon Nov 16 21:04:16 UTC 2015
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/3773e9119b1f81563d9dadb02f1ddc0a9ef724a9/ghc
>---------------------------------------------------------------
commit 3773e9119b1f81563d9dadb02f1ddc0a9ef724a9
Author: Ömer Sinan Ağacan <omeragacan at gmail.com>
Date: Mon Nov 16 17:01:01 2015 +0100
Use TcM instead of it's expanded form, in TcSplice
Reviewers: austin, bgamari, goldfire
Reviewed By: bgamari, goldfire
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D1474
>---------------------------------------------------------------
3773e9119b1f81563d9dadb02f1ddc0a9ef724a9
compiler/typecheck/TcSplice.hs | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/compiler/typecheck/TcSplice.hs b/compiler/typecheck/TcSplice.hs
index 728c40a..5c85e7d 100644
--- a/compiler/typecheck/TcSplice.hs
+++ b/compiler/typecheck/TcSplice.hs
@@ -756,7 +756,7 @@ when showing an error message.
To call runQ in the Tc monad, we need to make TcM an instance of Quasi:
-}
-instance TH.Quasi (IOEnv (Env TcGblEnv TcLclEnv)) where
+instance TH.Quasi TcM where
qNewName s = do { u <- newUnique
; let i = getKey u
; return (TH.mkNameU s i) }
@@ -840,7 +840,7 @@ instance TH.Quasi (IOEnv (Env TcGblEnv TcLclEnv)) where
th_modfinalizers_var <- fmap tcg_th_modfinalizers getGblEnv
updTcRef th_modfinalizers_var (\fins -> fin:fins)
- qGetQ :: forall a. Typeable a => IOEnv (Env TcGblEnv TcLclEnv) (Maybe a)
+ qGetQ :: forall a. Typeable a => TcM (Maybe a)
qGetQ = do
th_state_var <- fmap tcg_th_state getGblEnv
th_state <- readTcRef th_state_var
More information about the ghc-commits
mailing list