diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2013-06-28 17:32:45 +0100 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2013-06-28 17:32:45 +0100 |
| commit | 3ab4718018ee30d41a8921c26fc61360f19fdf14 (patch) | |
| tree | 03d893c02d0affa8ea201958d821bb7e9702b46f | |
| parent | 62e48fbc3af423232cb42c821071dbe6880ed24b (diff) | |
| download | haskell-3ab4718018ee30d41a8921c26fc61360f19fdf14.tar.gz | |
Add test case T8018
| -rw-r--r-- | testsuite/tests/indexed-types/should_compile/T8018.hs | 8 | ||||
| -rw-r--r-- | testsuite/tests/indexed-types/should_compile/all.T | 2 |
2 files changed, 10 insertions, 0 deletions
diff --git a/testsuite/tests/indexed-types/should_compile/T8018.hs b/testsuite/tests/indexed-types/should_compile/T8018.hs new file mode 100644 index 0000000000..c41ae810e7 --- /dev/null +++ b/testsuite/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/testsuite/tests/indexed-types/should_compile/all.T b/testsuite/tests/indexed-types/should_compile/all.T index d81acefc27..f8f455f26c 100644 --- a/testsuite/tests/indexed-types/should_compile/all.T +++ b/testsuite/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 |