Commit 4f4f7ea6 authored by Michael Hanus 's avatar Michael Hanus

Corrects imports

parent 0678899f
...@@ -682,9 +682,7 @@ to restrict the test cases via the condition operater \ccode{==>}): ...@@ -682,9 +682,7 @@ to restrict the test cases via the condition operater \ccode{==>}):
\begin{curry} \begin{curry}
sortSatisfiesPostCondition :: [Int] -> Prop sortSatisfiesPostCondition :: [Int] -> Prop
sortSatisfiesPostCondition x = sortSatisfiesPostCondition x = always (sort'post x (sort x))
let r = sort x
in (r == r) ==> always (sort'post x r)
sortSatisfiesSpecification :: Prop sortSatisfiesSpecification :: Prop
sortSatisfiesSpecification = sort <=> sort'spec sortSatisfiesSpecification = sort <=> sort'spec
......
...@@ -10,6 +10,7 @@ ...@@ -10,6 +10,7 @@
"cass-analysis" : ">= 2.0.0", "cass-analysis" : ">= 2.0.0",
"cass" : ">= 2.0.0", "cass" : ">= 2.0.0",
"flatcurry" : ">= 2.0.0", "flatcurry" : ">= 2.0.0",
"frontend-exec" : ">= 0.0.1",
"rewriting" : ">= 2.0.0", "rewriting" : ">= 2.0.0",
"wl-pprint" : ">= 0.0.1" "wl-pprint" : ">= 0.0.1"
}, },
......
...@@ -18,16 +18,17 @@ ...@@ -18,16 +18,17 @@
------------------------------------------------------------------------- -------------------------------------------------------------------------
import AnsiCodes import AnsiCodes
import Char ( toUpper ) import Char ( toUpper )
import Distribution import Distribution ( curryCompiler, installDir, modNameToPath
import FilePath ( (</>), pathSeparator, takeDirectory ) , lookupModuleSourceInLoadPath, stripCurrySuffix )
import FilePath ( (</>), pathSeparator, takeDirectory )
import GetOpt import GetOpt
import List import List
import Maybe ( fromJust, isJust ) import Maybe ( fromJust, isJust )
import System ( system, exitWith, getArgs, getPID, getEnviron ) import System ( system, exitWith, getArgs, getPID, getEnviron )
import AbstractCurry.Types import AbstractCurry.Types
import AbstractCurry.Files import AbstractCurry.Files ( readCurryWithParseOptions, readUntypedCurry )
import AbstractCurry.Select import AbstractCurry.Select
import AbstractCurry.Build import AbstractCurry.Build
import qualified AbstractCurry.Pretty as ACPretty import qualified AbstractCurry.Pretty as ACPretty
...@@ -38,6 +39,7 @@ import qualified FlatCurry.Types as FC ...@@ -38,6 +39,7 @@ import qualified FlatCurry.Types as FC
import FlatCurry.Files import FlatCurry.Files
import qualified FlatCurry.Goodies as FCG import qualified FlatCurry.Goodies as FCG
import Text.Pretty ( pPrint ) import Text.Pretty ( pPrint )
import System.FrontendExec ( defaultParams, setQuiet )
import CC.AnalysisHelpers ( getTerminationInfos, getProductivityInfos import CC.AnalysisHelpers ( getTerminationInfos, getProductivityInfos
, getUnsafeModuleInfos, dropPublicSuffix ) , getUnsafeModuleInfos, dropPublicSuffix )
......
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