[commit: testsuite] master: Test Trac #8500 (d4da5f8)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/testsuite

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/d4da5f8e222f7271e84dfb89d84099503df41467/testsuite

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

commit d4da5f8e222f7271e84dfb89d84099503df41467
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Wed Nov 6 08:32:50 2013 +0000

    Test Trac #8500


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

d4da5f8e222f7271e84dfb89d84099503df41467
 tests/indexed-types/should_compile/Makefile  |    5 +++++
 tests/indexed-types/should_compile/T8500.hs  |   10 ++++++++++
 tests/indexed-types/should_compile/T8500a.hs |    7 +++++++
 tests/indexed-types/should_compile/all.T     |    6 ++++++
 4 files changed, 28 insertions(+)

diff --git a/tests/indexed-types/should_compile/Makefile b/tests/indexed-types/should_compile/Makefile
index c65d1f9..5401afd 100644
--- a/tests/indexed-types/should_compile/Makefile
+++ b/tests/indexed-types/should_compile/Makefile
@@ -36,3 +36,8 @@ T8011:
 	$(RM) T8011a.o T8011a.hi T8011.o T8011.hi
 	'$(TEST_HC)' $(TEST_HC_OPTS) -c T8011a.hs
 	'$(TEST_HC)' $(TEST_HC_OPTS) -c T8011.hs
+
+T8500:
+	$(RM) T8500a.o T8500a.hi T8500.o T8500.hi
+	'$(TEST_HC)' $(TEST_HC_OPTS) -c T8500a.hs
+	'$(TEST_HC)' $(TEST_HC_OPTS) -c T8500.hs
diff --git a/tests/indexed-types/should_compile/T8500.hs b/tests/indexed-types/should_compile/T8500.hs
new file mode 100644
index 0000000..5e8f090
--- /dev/null
+++ b/tests/indexed-types/should_compile/T8500.hs
@@ -0,0 +1,10 @@
+ {-# LANGUAGE TypeFamilies #-}
+
+module T8500 where
+
+import T8500a
+
+instance C Int where
+   type F Int = Double
+
+instance C Bool
diff --git a/tests/indexed-types/should_compile/T8500a.hs b/tests/indexed-types/should_compile/T8500a.hs
new file mode 100644
index 0000000..f4f97b9
--- /dev/null
+++ b/tests/indexed-types/should_compile/T8500a.hs
@@ -0,0 +1,7 @@
+{-# LANGUAGE TypeFamilies #-}
+
+module T8500a where
+
+class C a where
+   type F a
+   type F a = [a]
diff --git a/tests/indexed-types/should_compile/all.T b/tests/indexed-types/should_compile/all.T
index 6327e6e..8e68a59 100644
--- a/tests/indexed-types/should_compile/all.T
+++ b/tests/indexed-types/should_compile/all.T
@@ -226,6 +226,12 @@ test('T8011',
      run_command,
      ['$MAKE -s --no-print-directory T8011'])
 
+# Marshalling of assocatiated types
+test('T8500',
+     normal,
+     run_command,
+     ['$MAKE -s --no-print-directory T8500'])
+
 test('T8018', normal, compile, [''])
 test('T8020', normal, compile, [''])
 test('ClosedFam1', extra_clean(['ClosedFam1.o-boot', 'ClosedFam1.hi-boot']),