| definition: |
compareModulesFromPackages :: Config -> Repository -> GC.GlobalCache -> String
-> Version -> String -> Version -> Maybe [String]
-> ErrorLogger [(String, Differences)]
compareModulesFromPackages cfg repo gc nameA verA nameB verB onlyMods = do
baseTmp <- liftIOEL getBaseTemp
pkgA <- GC.tryFindPackage gc nameA verA
pkgB <- GC.tryFindPackage gc nameB verB
GC.copyPackage cfg pkgA baseTmp
GC.copyPackage cfg pkgB baseTmp
compareModulesInDirs cfg repo gc (baseTmp </> packageId pkgA)
(baseTmp </> packageId pkgB) onlyMods
|
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| documentation: |
--- Compares two versions of a package from the global package cache. --- --- @param cfg - the CPM configuration --- @param repo - the central package index --- @param gc - the global package cache --- @param nameA - the name of package version A --- @param verA - the version of package version A --- @param nameB - the name of package version B --- @param verB - the version of package version B --- @param onlyMods - a list of modules to compare |
| failfree: |
<FAILING> |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{(_,_,_,_,_,_,_,_) |-> _}
|
| name: |
compareModulesFromPackages |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
CPM.Config.Config -> CPM.Repository.Repository -> CPM.PackageCache.Global.GlobalCache -> String -> (Prelude.Int, Prelude.Int, Prelude.Int, Prelude.Maybe String) -> String -> (Prelude.Int, Prelude.Int, Prelude.Int, Prelude.Maybe String) -> Prelude.Maybe [String] -> CPM.ErrorLogger.ErrorLogger [(String, (Prelude.Maybe (Difference String), [Difference AbstractCurry.Types.CFuncDecl], [Difference AbstractCurry.Types.CTypeDecl], [Difference AbstractCurry.Types.COpDecl]))] |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |