#8624: -ddump-splices-file -------------------------------------+------------------------------------ Reporter: GregWeber | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by GregWeber): After making the changes Nate suggested {{{ diff --git a/compiler/typecheck/TcRnMonad.lhs b/compiler/typecheck/TcRnMonad.lhs index 17700e7..4c4be49 100644 --- a/compiler/typecheck/TcRnMonad.lhs +++ b/compiler/typecheck/TcRnMonad.lhs @@ -502,7 +502,9 @@ traceOptTcRn flag doc = whenDOptM flag $ do dumpTcRn :: SDoc -> TcRn () dumpTcRn doc = do { rdr_env <- getGlobalRdrEnv ; dflags <- getDynFlags - ; liftIO (printInfoForUser dflags (mkPrintUnqualified dflags rdr_env) doc) } + ; liftIO $ do + dumpIfSet_dyn dflags Opt_D_dump_tc "Typechecker output" doc + (printInfoForUser dflags (mkPrintUnqualified dflags rdr_env) doc) } }}} running `ghc -ddump-tc -ddump-to-file Foo.hs` produces a file Foo.dump-tc: {{{ ==================== Typechecker output ==================== 2014-05-19 03:56:39.777604 UTC TYPE SIGNATURES TYPE CONSTRUCTORS Foo.Foo :: * data Foo No C type associated RecFlag NonRecursive, Not promotable = Foo :: GHC.Types.Int -> Foo Stricts: _ FamilyInstance: none COERCION AXIOMS Dependent modules: [] Dependent packages: [base, ghc-prim, integer-gmp] ==================== Typechecker output ==================== 2014-05-19 03:56:39.78129 UTC ==================== Typechecker ==================== }}} This only took me 10 minutes to make the code change, so that is an encouraging start. This is not what I want as an end result, but is this useful now for others that use -ddump-tc to debug? Should I add a new flag for my desired functionality? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8624#comment:13 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler