Moduleghc-9.10.3GHC2021

GHC.Utils.Trace

Tracing utilities

11 values

Packageghc-9.10.3
Exports11
LanguageGHC2021
LicenceBSD-3-Clause
SourceTrace.hs

valuepprTrace :: String -> SDoc -> a -> a

If debug output is on, show some SDoc on the screen

valuepprTraceM :: Applicative f => String -> SDoc -> f ()

valuepprTraceDebug :: String -> SDoc -> a -> a

valuepprTraceIt :: Outputable a => String -> a -> a

pprTraceIt desc x is equivalent to pprTrace desc (ppr x) x

valuepprTraceWith :: String -> (a -> SDoc) -> a -> a

pprTraceWith desc f x is equivalent to pprTrace desc (f x) x. This allows you to print details from the returned value as well as from ambient variables.

valuepprSTrace :: HasCallStack => SDoc -> a -> a

If debug output is on, show some SDoc on the screen along with a call stack when available.

valuepprTraceException :: ExceptionMonad m => String -> SDoc -> m a -> m a

pprTraceException desc x action runs action, printing a message if it throws an exception.

valuewarnPprTrace :: HasCallStack => Bool -> String -> SDoc -> a -> a

Just warn about an assertion failure, recording the given file and line number.

valuewarnPprTraceM

:: (Applicative f, HasCallStack)
=> Bool
-> String
-> SDoc
-> f ()

valuepprTraceUserWarning :: HasCallStack => SDoc -> a -> a

For when we want to show the user a non-fatal WARNING so that they can report a GHC bug, but don't want to panic.

valuetrace :: String -> a -> a

The trace function outputs the trace message given as its first argument, before returning the second argument as its result.

For example, this returns the value of f x and outputs the message to stderr. Depending on your terminal (settings), they may or may not be mixed.

Example2 expressions

>>> let x = 123; f = show>>> trace ("calling f with x = " ++ show x) (f x)calling f with x = 123"123"

The trace function should only be used for debugging, or for monitoring execution. The function is not referentially transparent: its type indicates that it is a pure function but it has the side effect of outputting the trace message.