Test Trac #7974

5bd297cb · Simon Peyton Jones · 436f8968 · 5bd297cb · 5bd297cb
Commit 5bd297cb authored Jun 10, 2013 by Simon Peyton Jones
Hide whitespace changes
Inline Side-by-side

Showing with 9 additions and 0 deletions

testsuite/tests/gadt/T7974.hs testsuite/tests/gadt/T7974.hs +8 -0

testsuite/tests/gadt/all.T testsuite/tests/gadt/all.T +1 -0

No files found.
--- a/testsuite/tests/gadt/T7974.hs
+++ b/testsuite/tests/gadt/T7974.hs
+{-# LANGUAGE GADTs #-}
+module T7974 where
+
+data X a where
+   N :: (a ~ b) => X a
+
+k :: X a -> X b
+k N = N
--- a/testsuite/tests/gadt/all.T
+++ b/testsuite/tests/gadt/all.T
@@ -120,3 +120,4 @@ test('T7321',
     extra_clean(['T7321a.hi', 'T7321a.o']),
     run_command,
     ['$MAKE -s --no-print-directory T7321'])
+test('T7974', normal, compile, [''])