diff options
Diffstat (limited to 'compiler/GHC/Driver/Session.hs-boot')
| -rw-r--r-- | compiler/GHC/Driver/Session.hs-boot | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/compiler/GHC/Driver/Session.hs-boot b/compiler/GHC/Driver/Session.hs-boot new file mode 100644 index 0000000000..c61d6b5297 --- /dev/null +++ b/compiler/GHC/Driver/Session.hs-boot @@ -0,0 +1,17 @@ +module GHC.Driver.Session where + +import GhcPrelude +import GHC.Platform +import {-# SOURCE #-} Outputable + +data DynFlags +data DumpFlag +data GeneralFlag + +targetPlatform :: DynFlags -> Platform +pprUserLength :: DynFlags -> Int +pprCols :: DynFlags -> Int +unsafeGlobalDynFlags :: DynFlags +hasPprDebug :: DynFlags -> Bool +hasNoDebugOutput :: DynFlags -> Bool +initSDocContext :: DynFlags -> PprStyle -> SDocContext |