diff options
Diffstat (limited to 'testsuite/tests/cabal/sigcabal02/p')
-rw-r--r-- | testsuite/tests/cabal/sigcabal02/p/LICENSE | 0 | ||||
-rw-r--r-- | testsuite/tests/cabal/sigcabal02/p/Map.hsig | 18 | ||||
-rw-r--r-- | testsuite/tests/cabal/sigcabal02/p/P.hs | 12 | ||||
-rw-r--r-- | testsuite/tests/cabal/sigcabal02/p/Set.hsig | 13 | ||||
-rw-r--r-- | testsuite/tests/cabal/sigcabal02/p/p.cabal | 14 |
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 |