Commit bea856b4 authored by simonpj's avatar simonpj
Browse files

[project @ 2002-07-29 16:16:17 by simonpj]

Comment only
parent 04c8f5e8
...@@ -7,8 +7,8 @@ module Main where ...@@ -7,8 +7,8 @@ module Main where
foo :: ((?x :: Int) => IO a) -> Int -> IO a foo :: ((?x :: Int) => IO a) -> Int -> IO a
-- Note the rank2 type -- Note the rank2 type
foo s z = do let ?x = z in s foo s z = do let ?x = z in s -- Should pick up ?x = z
let ?x = z+3 in s let ?x = z+3 in s -- Ditto z+3
main = foo (print ?x) 42 main = foo (print ?x) 42
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment