DeferErrors implies DeferTypedHoles in GHC >= 7.10
The Opt_DeferErrors flag should imply Opt_DeferTypedHoles. The proper API for setting these flags that implements such implications is unfortunately not exposed by GHC.
This commit is contained in:
@@ -99,8 +99,5 @@ setNoMaxRelevantBindings = id
|
||||
|
||||
deferErrors :: DynFlags -> Ghc DynFlags
|
||||
deferErrors df = return $
|
||||
Gap.setWarnTypedHoles $ Gap.setDeferTypeErrors $ setNoWarningFlags df
|
||||
|
||||
deferErrorsAndHoles :: DynFlags -> Ghc DynFlags
|
||||
deferErrorsAndHoles df = return $
|
||||
Gap.setDeferTypeErrors $ Gap.setDeferTypedHoles $ setNoWarningFlags df
|
||||
Gap.setWarnTypedHoles $ Gap.setDeferTypedHoles $
|
||||
Gap.setDeferTypeErrors $ setNoWarningFlags df
|
||||
|
||||
Reference in New Issue
Block a user