diff options
Diffstat (limited to 'testsuite/tests/ghc-regress/typecheck/should_run/tcrun019.hs')
| -rw-r--r-- | testsuite/tests/ghc-regress/typecheck/should_run/tcrun019.hs | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/testsuite/tests/ghc-regress/typecheck/should_run/tcrun019.hs b/testsuite/tests/ghc-regress/typecheck/should_run/tcrun019.hs deleted file mode 100644 index 266e01d9c0..0000000000 --- a/testsuite/tests/ghc-regress/typecheck/should_run/tcrun019.hs +++ /dev/null @@ -1,21 +0,0 @@ -{-# LANGUAGE ImplicitParams, RankNTypes #-} - --- GHC 5.02 got this one wrong. - -module Main where - --- Implicit parameters bug --- mbs@cse.ogi.edu 24-Oct-2001 22:21:27 - -f :: (?x :: Int) => ((?x :: Int) => Int) -> Int -> Int -f g y = if y == 0 - then g - else let ?x = ?x + 1 - in f g (y - 1) - -h :: (?x :: Int) => Int -h = ?x - -main = print (let ?x = 0 in f h 10) --- The result should be 10! - |