Revert "Fix some validation errors"
authorIan Lynagh <igloo@earth.li>
Wed, 26 Oct 2011 16:37:27 +0000 (17:37 +0100)
committerIan Lynagh <igloo@earth.li>
Wed, 26 Oct 2011 16:37:27 +0000 (17:37 +0100)
This reverts commit 4e2121f4fa33743d0acb42506b4d34952a7e4c80.

compiler/main/DynFlags.hs
compiler/main/HscMain.lhs

index 537e2b4..1c047b7 100644 (file)
@@ -1037,6 +1037,12 @@ safeLanguageOn dflags = safeHaskell dflags == Sf_Safe
 safeInferOn :: DynFlags -> Bool
 safeInferOn dflags = safeHaskell dflags == Sf_SafeInfered
 
+-- | Turn off Safe Haskell inference mode (set module to unsafe)
+setSafeInferOff :: DynFlags -> DynFlags
+setSafeInferOff dflags
+  | safeHaskell dflags == Sf_SafeInfered = dflags { safeHaskell = Sf_None }
+  | otherwise                            = dflags
+
 -- | Test if Safe Imports are on in some form
 safeImportsOn :: DynFlags -> Bool
 safeImportsOn dflags = safeHaskell dflags == Sf_Unsafe ||
index 08ae763..3961de0 100644 (file)
@@ -904,7 +904,7 @@ checkSafeImports dflags hsc_env tcg_env
         -- See the Note [ Safe Haskell Inference]
         when (not $ isEmptyBag errs) (
             -- did we fail safe inference or fail -XSafe?
-            case safeInferOn dflags of
+            case safeHaskell dflags == Sf_SafeInfered of
                 True  -> setDynFlags (dflags { safeHaskell = Sf_None } )
                 False -> liftIO . throwIO . mkSrcErr $ errs
             )