Added an option for usage-checking to the CompState; currently turned off by default
This commit is contained in:
parent
64a9fcf2dd
commit
b8e4864d08
|
@ -55,6 +55,7 @@ data CompState = CompState {
|
||||||
csMode :: CompMode,
|
csMode :: CompMode,
|
||||||
csBackend :: CompBackend,
|
csBackend :: CompBackend,
|
||||||
csFrontend :: CompFrontend,
|
csFrontend :: CompFrontend,
|
||||||
|
csUsageChecking :: Bool,
|
||||||
csVerboseLevel :: Int,
|
csVerboseLevel :: Int,
|
||||||
csOutputFile :: String,
|
csOutputFile :: String,
|
||||||
|
|
||||||
|
@ -88,6 +89,7 @@ emptyState = CompState {
|
||||||
csMode = ModeFull,
|
csMode = ModeFull,
|
||||||
csBackend = BackendC,
|
csBackend = BackendC,
|
||||||
csFrontend = FrontendOccam,
|
csFrontend = FrontendOccam,
|
||||||
|
csUsageChecking = False, -- For now! TODO turn this on by default
|
||||||
csVerboseLevel = 0,
|
csVerboseLevel = 0,
|
||||||
csOutputFile = "-",
|
csOutputFile = "-",
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user