[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