Commit a527804f authored by Fredrik Wieczerkowski's avatar Fredrik Wieczerkowski

Fix Contracts

parent c8eafbed
......@@ -36,7 +36,9 @@ import Contract.Usage ( checkContractUsage )
import FlatCurry.Files ( readFlatCurry )
import qualified FlatCurry.Goodies as FCG
import System.CurryPath ( lookupModuleSourceInLoadPath, modNameToPath
, stripCurrySuffix)
, stripCurrySuffix )
import System.Environment ( getArgs )
import System.Process ( system )
-- in order to use the determinism analysis:
import Analysis.ProgInfo ( ProgInfo, lookupProgInfo )
......
......@@ -42,6 +42,7 @@
module CPP.DefaultRules ( translateDefaultRulesAndDetOps )
where
import Control.Monad ( when, unless )
import Language.Curry.Distribution ( curryCompiler )
import System.FilePath ( takeDirectory )
import Data.List ( partition )
......@@ -137,7 +138,7 @@ printProofObligation :: [QName] -> IO ()
printProofObligation qfs = unless (null qfs) $ do
putStrLn line
putStrLn "PROOF OBLIGATIONS:"
mapIO_ (\qn -> putStrLn $ showQName qn ++" is a deterministic operation.") qfs
mapM_ (\qn -> putStrLn $ showQName qn ++" is a deterministic operation.") qfs
putStrLn line
where
line = take 70 (repeat '=')
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment