Move tests from tests/ghc-regress/* to just tests/*

1 files changed, 30 insertions, 0 deletions

diff --git a/testsuite/tests/indexed-types/should_compile/Deriving.hs b/testsuite/tests/indexed-types/should_compile/Deriving.hs
new file mode 100644
index 0000000000..fd0eff2016
--- /dev/null
+++ b/testsuite/tests/indexed-types/should_compile/Deriving.hs
@@ -0,0 +1,30 @@
+{-# LANGUAGE TypeFamilies, StandaloneDeriving, FlexibleInstances #-}
+
+module ShouldCompile where
+
+data family T a
+
+data instance T Int = A | B
+		    deriving Eq
+
+foo :: T Int -> Bool
+foo x = x == x
+
+data instance T Char = C
+
+instance Eq (T Char) where
+  C == C = False
+
+data family R a
+data instance R [a] = R
+
+deriving instance Eq (R [a])
+
+class C a where
+  data S a
+
+instance C Int where
+  data S Int = SInt deriving Eq
+
+bar :: S Int -> Bool
+bar x = x == x