diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-06-10 18:30:33 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-06-10 18:30:33 +0100 |
| commit | 5bd297cb902530206937eb901ccc2ce35715ee2f (patch) | |
| tree | 7e3f7cfc3a7cc1167030acec9ea5157173a913fa /testsuite/tests/gadt/T7974.hs | |
| parent | 436f8968735944137dd46bbba9e54d3c0659ccf0 (diff) | |
| download | haskell-5bd297cb902530206937eb901ccc2ce35715ee2f.tar.gz | |
Test Trac #7974
Diffstat (limited to 'testsuite/tests/gadt/T7974.hs')
| -rw-r--r-- | testsuite/tests/gadt/T7974.hs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/testsuite/tests/gadt/T7974.hs b/testsuite/tests/gadt/T7974.hs new file mode 100644 index 0000000000..e72f62ae25 --- /dev/null +++ b/testsuite/tests/gadt/T7974.hs @@ -0,0 +1,8 @@ +{-# LANGUAGE GADTs #-} +module T7974 where + +data X a where + N :: (a ~ b) => X a + +k :: X a -> X b +k N = N |