[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