diff options
Diffstat (limited to 'testsuite/tests/ghc-regress/typecheck/should_compile/tc208.hs')
-rw-r--r-- | testsuite/tests/ghc-regress/typecheck/should_compile/tc208.hs | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/testsuite/tests/ghc-regress/typecheck/should_compile/tc208.hs b/testsuite/tests/ghc-regress/typecheck/should_compile/tc208.hs deleted file mode 100644 index 0bfb1d4e81..0000000000 --- a/testsuite/tests/ghc-regress/typecheck/should_compile/tc208.hs +++ /dev/null @@ -1,13 +0,0 @@ -{-# LANGUAGE ImplicitParams, Rank2Types #-} - --- This program failed to typecheck in an early version of --- GHC with impredicative polymorphism, but it was fixed by --- doing pre-subsumption in the subsumption check. --- Trac bug #821 - -module ShouldCompile where - -type PPDoc = (?env :: Int) => Char - -f :: Char -> PPDoc -f = succ |