Commit f39fa623 authored by Michael Hanus's avatar Michael Hanus
Browse files

Test suite fixed

parent 70b21ee3
......@@ -17,6 +17,10 @@
"name": "cpm",
"main": "CPM.Main"
},
"testsuite": {
"src-dir": "src",
"modules": [ "CPM.Package", "CPM.Resolution", "CPM.LookupSet" ]
},
"source": {
"git": "https://git.ps.informatik.uni-kiel.de/curry-packages/cpm.git",
"tag": "$version"
......
--------------------------------------------------------------------------------
------------------------------------------------------------------------------
--- This module implements the LookupSet datatype. A lookup set is used to store
--- and query packages for dependency resolution. It stores the source of a
--- package specification alongside the specification itself (e.g. the global
--- repository or the local package cache).
--------------------------------------------------------------------------------
------------------------------------------------------------------------------
module CPM.LookupSet
( LookupSource (..)
......@@ -25,6 +25,8 @@ import Test.EasyCheck
import CPM.Package
------------------------------------------------------------------------------
data LookupSource = FromRepository
| FromLocalCache
| FromGlobalCache
......@@ -123,7 +125,7 @@ test_findAllVersions_nonLocalIfIgnored = findAllVersions ls "A" False -=- [aNonL
ls = setLocallyIgnored (addPackage (addPackage emptySet aLocal FromLocalCache) aNonLocal FromRepository) ["A"]
cPackage :: String -> Version -> [Dependency] -> Package
cPackage p v ds = Package {
cPackage p v ds = emptyPackage {
name = p
, version = v
, author = "author"
......
......@@ -668,7 +668,7 @@ test_reportsCompilerIncompatibility = showResult result -=- "The package json-1.
db = cDB [json]
cPackage :: String -> Version -> [Dependency] -> Package
cPackage p v ds = Package {
cPackage p v ds = emptyPackage {
name = p
, version = v
, author = "author"
......@@ -688,7 +688,7 @@ cPackage p v ds = Package {
}
cPackageCC :: String -> Version -> [CompilerCompatibility] -> Package
cPackageCC p v cs = Package {
cPackageCC p v cs = emptyPackage {
name = p
, version = v
, author = "author"
......
Supports Markdown
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