suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Turned on usage checking by default

Browse Source 
I think the Tock usage checking is now sufficiently advanced (it only rejects one or two parts of the cgtest at the moment) to turn it on by default
This commit is contained in:
Neil Brown 2009-01-28 17:34:34 +00:00
parent 6e0b56c7f6
commit 52459e7557
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
data/CompState.hs
View File

@ -136,7 +136,7 @@ emptyState = CompState {
csBackend = BackendC,
csFrontend = FrontendOccam,
csSanityCheck = False,
csUsageChecking = False, -- For now! TODO turn this on by default
csUsageChecking = True,
csVerboseLevel = 0,
csOutputFile = "-",
csKeepTemporaries = False,