[commit: ghc] wip/ttypeable: Generate Typeable declarations for types in hs-boot files (4268d60)

[git at git.haskell.org]

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

On branch  : wip/ttypeable
Link       : http://ghc.haskell.org/trac/ghc/changeset/4268d6014c5c4d468d6791f877aa30e5dd6d82e6/ghc

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

commit 4268d6014c5c4d468d6791f877aa30e5dd6d82e6
Author: Ben Gamari <ben at smart-cactus.org>
Date:   Sat Jan 28 23:38:40 2017 -0500

    Generate Typeable declarations for types in hs-boot files


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

4268d6014c5c4d468d6791f877aa30e5dd6d82e6
 compiler/typecheck/TcRnDriver.hs | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/compiler/typecheck/TcRnDriver.hs b/compiler/typecheck/TcRnDriver.hs
index 28ca41b..7430175 100644
--- a/compiler/typecheck/TcRnDriver.hs
+++ b/compiler/typecheck/TcRnDriver.hs
@@ -581,6 +581,10 @@ tcRnHsBootDecls hsc_src decls
              <- tcTyClsInstDecls tycl_decls deriv_decls val_binds
         ; setGblEnv tcg_env     $ do {
 
+        -- Emit Typeable bindings
+        ; tcg_env <- pprTrace "tcRnHsBootDecls" (ppr tycl_decls) mkTypeableBinds
+        ; setGblEnv tcg_env $ do {
+
                 -- Typecheck value declarations
         ; traceTc "Tc5" empty
         ; val_ids <- tcHsBootSigs val_binds val_sigs
@@ -600,7 +604,7 @@ tcRnHsBootDecls hsc_src decls
               }
 
         ; setGlobalTypeEnv gbl_env type_env2
-   }}
+   }}}
    ; traceTc "boot" (ppr lie); return gbl_env }
 
 badBootDecl :: HscSource -> String -> Located decl -> TcM ()