Commit e34e3c06 authored by Michael Hanus 's avatar Michael Hanus

Imports updated

parents 313dd2c1 a1a3cb00
Pipeline #303 failed with stages
...@@ -9,6 +9,7 @@ ...@@ -9,6 +9,7 @@
"abstract-curry": ">= 2.0.0", "abstract-curry": ">= 2.0.0",
"cass-analysis" : ">= 2.0.0", "cass-analysis" : ">= 2.0.0",
"cass" : ">= 2.0.0", "cass" : ">= 2.0.0",
"currypath" : ">= 0.0.1",
"flatcurry" : ">= 2.0.0", "flatcurry" : ">= 2.0.0",
"frontend-exec" : ">= 0.0.1", "frontend-exec" : ">= 0.0.1",
"rewriting" : ">= 2.0.0", "rewriting" : ">= 2.0.0",
......
...@@ -14,13 +14,12 @@ ...@@ -14,13 +14,12 @@
--- (together with possible preconditions). --- (together with possible preconditions).
--- ---
--- @author Michael Hanus, Jan-Patrick Baye --- @author Michael Hanus, Jan-Patrick Baye
--- @version November 2018 --- @version December 2018
------------------------------------------------------------------------- -------------------------------------------------------------------------
import AnsiCodes import AnsiCodes
import Char ( toUpper ) import Char ( toUpper )
import Distribution ( curryCompiler, installDir, modNameToPath import Distribution ( curryCompiler, installDir )
, lookupModuleSourceInLoadPath, stripCurrySuffix )
import FilePath ( (</>), pathSeparator, takeDirectory ) import FilePath ( (</>), pathSeparator, takeDirectory )
import GetOpt import GetOpt
import List import List
...@@ -38,8 +37,10 @@ import Analysis.Termination ( Productivity(..) ) ...@@ -38,8 +37,10 @@ import Analysis.Termination ( Productivity(..) )
import qualified FlatCurry.Types as FC 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 System.CurryPath ( modNameToPath, lookupModuleSourceInLoadPath
import System.FrontendExec ( defaultParams, setQuiet ) , stripCurrySuffix )
import System.FrontendExec ( defaultParams, setQuiet )
import Text.Pretty ( pPrint )
import CC.AnalysisHelpers ( getTerminationInfos, getProductivityInfos import CC.AnalysisHelpers ( getTerminationInfos, getProductivityInfos
, getUnsafeModuleInfos, dropPublicSuffix ) , getUnsafeModuleInfos, dropPublicSuffix )
......
...@@ -21,7 +21,7 @@ ...@@ -21,7 +21,7 @@
--- `proof-last-is-deterministic.agda` (and also in some other files). --- `proof-last-is-deterministic.agda` (and also in some other files).
--- ---
--- @author Michael Hanus --- @author Michael Hanus
--- @version October 2018 --- @version December 2018
------------------------------------------------------------------------ ------------------------------------------------------------------------
module TheoremUsage module TheoremUsage
...@@ -34,10 +34,11 @@ import AbstractCurry.Types ...@@ -34,10 +34,11 @@ import AbstractCurry.Types
import AbstractCurry.Select import AbstractCurry.Select
import Char import Char
import Directory import Directory
import Distribution (lookupModuleSourceInLoadPath, modNameToPath) import FilePath ( dropExtension, takeDirectory )
import FilePath (dropExtension, takeDirectory)
import List import List
import System.CurryPath ( lookupModuleSourceInLoadPath, modNameToPath )
import PropertyUsage import PropertyUsage
------------------------------------------------------------------------ ------------------------------------------------------------------------
......
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