Test Trac #5424

testsuite/tests/gadt/T5424.hs

+{-# LANGUAGE GADTs #-}
+{-# OPTIONS_GHC -Wall #-}
+
+module W where
+
+import T5424a
+
+data D a where
+     C1 :: D X
+     C2 :: D Y
+
+f :: D X -> Int
+f C1 = 1

testsuite/tests/gadt/T5424a.hs

+module T5424a where
+
+data X
+data Y

testsuite/tests/gadt/all.T

@@ -107,4 +107,4 @@ test('gadtSyntaxFail001', if_compiler_lt('ghc', '7.1', expect_fail), compile_fai
 test('gadtSyntaxFail002', if_compiler_lt('ghc', '7.1', expect_fail), compile_fail, [''])
 test('gadtSyntaxFail003', if_compiler_lt('ghc', '7.1', expect_fail), compile_fail, [''])
 test('T3169', normal, compile_fail, [''])
-
+test('T5424', normal, multimod_compile, ['T5424', '-v0 -O0'])