blob: 5fd80fcd82fa39d6afae20d485aa402a90fe3939 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
module DynFlags where
import Platform
data DynFlags
data DumpFlag
targetPlatform :: DynFlags -> Platform
pprUserLength :: DynFlags -> Int
pprCols :: DynFlags -> Int
unsafeGlobalDynFlags :: DynFlags
useUnicode :: DynFlags -> Bool
useUnicodeSyntax :: DynFlags -> Bool
shouldUseColor :: DynFlags -> Bool
hasPprDebug :: DynFlags -> Bool
hasNoDebugOutput :: DynFlags -> Bool
|
