diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_run/tcrun017.hs')
-rw-r--r-- | testsuite/tests/typecheck/should_run/tcrun017.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/typecheck/should_run/tcrun017.hs b/testsuite/tests/typecheck/should_run/tcrun017.hs index f994df3a4f..3ef8b6877c 100644 --- a/testsuite/tests/typecheck/should_run/tcrun017.hs +++ b/testsuite/tests/typecheck/should_run/tcrun017.hs @@ -6,9 +6,9 @@ module Main where foo :: ((?x :: Int) => IO a) -> Int -> IO a - -- Note the rank2 type -foo s z = do let ?x = z in s -- Should pick up ?x = z - let ?x = z+3 in s -- Ditto z+3 + -- Note the rank2 type +foo s z = do let ?x = z in s -- Should pick up ?x = z + let ?x = z+3 in s -- Ditto z+3 main = foo (print ?x) 42 |