Test Trac #8011

testsuite/tests/indexed-types/should_compile/Makefile

@@ -31,3 +31,8 @@ T8002:
 	'$(TEST_HC)' $(TEST_HC_OPTS) -c T8002b.hs
 	'$(TEST_HC)' $(TEST_HC_OPTS) -c T8002a.hs
 	'$(TEST_HC)' $(TEST_HC_OPTS) -c T8002.hs
+
+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

testsuite/tests/indexed-types/should_compile/T8011.hs

+{-# LANGUAGE FlexibleContexts #-}
+module T8011( clean )  where
+
+import Data.Char (isAlphaNum)
+import Data.List (dropWhile)
+import T8011a ( ToURL(URLT, toURL) )
+
+clean :: (ToURL url, Show (URLT url)) => url -> String
+clean = filter isAlphaNum . show . toURL

testsuite/tests/indexed-types/should_compile/T8011a.hs

+{-# LANGUAGE TypeFamilies #-}
+module T8011a ( ToURL(toURL, nullURL, errorURL, URLT) ) where
+
+class ToURL a where
+     type URLT a
+     toURL :: a -> URLT a
+     nullURL :: a
+     errorURL :: a -> URLT a

testsuite/tests/indexed-types/should_compile/all.T

@@ -219,3 +219,9 @@ test('T8002',
      normal,
      run_command,
      ['$MAKE -s --no-print-directory T8002'])
+
+# Import and export of associated types
+test('T8011',
+     normal,
+     run_command,
+     ['$MAKE -s --no-print-directory T8011'])