summaryrefslogtreecommitdiff
path: root/testsuite/tests/cabal/sigcabal02/p
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/cabal/sigcabal02/p')
-rw-r--r--testsuite/tests/cabal/sigcabal02/p/LICENSE0
-rw-r--r--testsuite/tests/cabal/sigcabal02/p/Map.hsig18
-rw-r--r--testsuite/tests/cabal/sigcabal02/p/P.hs12
-rw-r--r--testsuite/tests/cabal/sigcabal02/p/Set.hsig13
-rw-r--r--testsuite/tests/cabal/sigcabal02/p/p.cabal14
5 files changed, 0 insertions, 57 deletions
diff --git a/testsuite/tests/cabal/sigcabal02/p/LICENSE b/testsuite/tests/cabal/sigcabal02/p/LICENSE
deleted file mode 100644
index e69de29bb2..0000000000
--- a/testsuite/tests/cabal/sigcabal02/p/LICENSE
+++ /dev/null
diff --git a/testsuite/tests/cabal/sigcabal02/p/Map.hsig b/testsuite/tests/cabal/sigcabal02/p/Map.hsig
deleted file mode 100644
index 359cf64ab9..0000000000
--- a/testsuite/tests/cabal/sigcabal02/p/Map.hsig
+++ /dev/null
@@ -1,18 +0,0 @@
-{-# LANGUAGE RoleAnnotations #-}
-module Map where
-
-import Set
-
-type role Map nominal representational
-data Map k a
-
-instance (Show k, Show a) => Show (Map k a)
-
-size :: Map k a -> Int
-lookup :: Ord k => k -> Map k a -> Maybe a
-empty :: Map k a
-insert :: Ord k => k -> a -> Map k a -> Map k a
-delete :: Ord k => k -> Map k a -> Map k a
-
-keysSet :: Map k a -> Set k
-fromSet :: (k -> a) -> Set k -> Map k a
diff --git a/testsuite/tests/cabal/sigcabal02/p/P.hs b/testsuite/tests/cabal/sigcabal02/p/P.hs
deleted file mode 100644
index dec6b41c94..0000000000
--- a/testsuite/tests/cabal/sigcabal02/p/P.hs
+++ /dev/null
@@ -1,12 +0,0 @@
-module P where
-
-import qualified Map
-import qualified Set
-
-foo = do
- let x = Map.insert 0 "foo"
- . Map.insert (6 :: Int) "foo"
- $ Map.empty
- print (Map.lookup 1 x)
- print (Set.size (Map.keysSet x))
- return x
diff --git a/testsuite/tests/cabal/sigcabal02/p/Set.hsig b/testsuite/tests/cabal/sigcabal02/p/Set.hsig
deleted file mode 100644
index 1713133365..0000000000
--- a/testsuite/tests/cabal/sigcabal02/p/Set.hsig
+++ /dev/null
@@ -1,13 +0,0 @@
-{-# LANGUAGE RoleAnnotations #-}
-module Set where
-
-type role Set nominal
-data Set a
-
-instance Show a => Show (Set a)
-
-size :: Set a -> Int
-member :: Ord a => a -> Set a -> Bool
-empty :: Set a
-insert :: Ord a => a -> Set a -> Set a
-delete :: Ord a => a -> Set a -> Set a
diff --git a/testsuite/tests/cabal/sigcabal02/p/p.cabal b/testsuite/tests/cabal/sigcabal02/p/p.cabal
deleted file mode 100644
index bb3b2a4463..0000000000
--- a/testsuite/tests/cabal/sigcabal02/p/p.cabal
+++ /dev/null
@@ -1,14 +0,0 @@
-name: p
-version: 1.0
-license-file: LICENSE
-author: Edward Z. Yang
-maintainer: ezyang@cs.stanford.edu
-build-type: Simple
-cabal-version: >=1.20
-
-library
- exposed-modules: P
- exposed-signatures: Map
- required-signatures: Set
- build-depends: base
- default-language: Haskell2010