[commit: testsuite] master: Add test case T8018 (43e1842)

Richard Eisenberg eir at cis.upenn.edu
Fri Jun 28 18:33:13 CEST 2013


Repository : ssh://darcs.haskell.org//srv/darcs/testsuite

On branch  : master

https://github.com/ghc/testsuite/commit/43e18428a413f979acef6d0210b97a37cb4513c1

>---------------------------------------------------------------

commit 43e18428a413f979acef6d0210b97a37cb4513c1
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Fri Jun 28 17:32:45 2013 +0100

    Add test case T8018

>---------------------------------------------------------------

 tests/indexed-types/should_compile/T8018.hs |    8 ++++++++
 tests/indexed-types/should_compile/all.T    |    2 ++
 2 files changed, 10 insertions(+), 0 deletions(-)

diff --git a/tests/indexed-types/should_compile/T8018.hs b/tests/indexed-types/should_compile/T8018.hs
new file mode 100644
index 0000000..c41ae81
--- /dev/null
+++ b/tests/indexed-types/should_compile/T8018.hs
@@ -0,0 +1,8 @@
+{-# LANGUAGE TypeFamilies #-}
+
+module T8018 where
+
+data Foo a = Bar (F a)
+
+type family F a where
+  F (Foo a) = Bool
\ No newline at end of file
diff --git a/tests/indexed-types/should_compile/all.T b/tests/indexed-types/should_compile/all.T
index d81acef..f8f455f 100644
--- a/tests/indexed-types/should_compile/all.T
+++ b/tests/indexed-types/should_compile/all.T
@@ -225,3 +225,5 @@ test('T8011',
      normal,
      run_command,
      ['$MAKE -s --no-print-directory T8011'])
+
+test('T8018', normal, compile, [''])
\ No newline at end of file





More information about the ghc-commits mailing list