diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2011-09-13 22:42:02 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2011-09-13 22:42:02 +0100 |
| commit | 40801eededec1a20faeb4cfcf74e05c69851dde0 (patch) | |
| tree | f5e6135b4ed5e187b9674277f0f87b8868b85a88 /testsuite/tests/typecheck/should_fail/T3592.hs | |
| parent | 3c4cbdf2edc362d3e2edf282f058f4d14b0febc0 (diff) | |
| download | haskell-40801eededec1a20faeb4cfcf74e05c69851dde0.tar.gz | |
Test Trac #3592
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T3592.hs')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T3592.hs | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T3592.hs b/testsuite/tests/typecheck/should_fail/T3592.hs new file mode 100644 index 0000000000..de32ed83c6 --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/T3592.hs @@ -0,0 +1,12 @@ +{-# LANGUAGE RankNTypes #-}
+
+module T3592 where
+
+type T a = Show a => a
+
+f :: T a -> String
+f = show
+
+g :: T a -> String
+g x = show x
+
|