From 33ab68b67ce865cd6447b41eda6d64ed0f65e8d9 Mon Sep 17 00:00:00 2001 From: David Waern Date: Sat, 12 Apr 2008 18:57:23 +0000 Subject: Simplify test suite and add tests I move all tests into one single directory to simplify things, and add a test for the last bug that was fixed. --- tests/extensions/TypeOperators.hs | 22 -- tests/extensions/TypeOperators.html.ref | 380 -------------------------------- 2 files changed, 402 deletions(-) delete mode 100644 tests/extensions/TypeOperators.hs delete mode 100644 tests/extensions/TypeOperators.html.ref (limited to 'tests/extensions') diff --git a/tests/extensions/TypeOperators.hs b/tests/extensions/TypeOperators.hs deleted file mode 100644 index aa0fbe8c..00000000 --- a/tests/extensions/TypeOperators.hs +++ /dev/null @@ -1,22 +0,0 @@ -module TypeOperators ( - -- * stuff - (:-:), - (:+:), - Op, - O(..), - biO, - Flip(..) -) where - -data a :-: b - -data (a :+: b) c - -data a `Op` b - -newtype (g `O` f) a = O { unO :: g (f a) } - -biO :: (g `O` f) a -biO = undefined - -newtype Flip (~>) b a = Flip { unFlip :: a ~> b } diff --git a/tests/extensions/TypeOperators.html.ref b/tests/extensions/TypeOperators.html.ref deleted file mode 100644 index 1094536f..00000000 --- a/tests/extensions/TypeOperators.html.ref +++ /dev/null @@ -1,380 +0,0 @@ - - -TypeOperators
ContentsIndex
TypeOperators
Contents
stuff -
Synopsis
data a :-: b
data (a :+: b) c
data Op a b
newtype O g f a = O {
unO :: g (f a)
}
biO :: (g `O` f) a
newtype Flip (~>) b a = Flip {
unFlip :: a ~> b
}
stuff -
data a :-: b
data (a :+: b) c
data Op a b
newtype O g f a
Constructors
O
unO :: g (f a)
biO :: (g `O` f) a
newtype Flip (~>) b a
Constructors
Flip
unFlip :: a ~> b
Produced by Haddock version 2.0.0.0
-- cgit v1.2.3