Commit 104c0ad5 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Test Trac #10112

parent 9b3239f8
{-# LANGUAGE RankNTypes, RebindableSyntax #-}
module T10112 where
import qualified Prelude as P
(>>=) :: a -> ((forall b . b) -> c) -> c
a >>= f = f P.undefined
return a = a
fail s = P.undefined
t1 = 'd' >>= (\_ -> 'k')
t2 = do { _ <- 'd'
; 'k' }
foo = P.putStrLn [t1, t2]
......@@ -31,3 +31,4 @@ test('T5038', normal, compile_and_run, [''])
test('T4851', normal, compile, [''])
test('T5908', normal, compile, [''])
test('T10112', normal, compile, [''])
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