Test #5481
authorMax Bolingbroke <batterseapower@hotmail.com>
Sun, 11 Sep 2011 16:09:55 +0000 (17:09 +0100)
committerMax Bolingbroke <batterseapower@hotmail.com>
Sun, 11 Sep 2011 16:09:55 +0000 (17:09 +0100)
testsuite/tests/typecheck/should_compile/T5481.hs [new file with mode: 0644]
testsuite/tests/typecheck/should_compile/all.T

diff --git a/testsuite/tests/typecheck/should_compile/T5481.hs b/testsuite/tests/typecheck/should_compile/T5481.hs
new file mode 100644 (file)
index 0000000..636a587
--- /dev/null
@@ -0,0 +1,8 @@
+{-# LANGUAGE TypeFamilies, MultiParamTypeClasses #-}
+module T5481 where
+
+class Foo a b where
+    type X a
+    type X a = b
+    type Y b
+    type Y b = a
index e185708..c3ba163 100644 (file)
@@ -357,3 +357,4 @@ test('T5051', normal, compile, [''])
 test('T3018', normal, compile, [''])
 test('T5032', normal, compile, [''])
 test('T2357', normal, compile, [''])
+test('T5481', normal, compile, [''])