Commit 156db6b2 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Add more variants of T3064 (in comments)

parent db71d971
...@@ -56,20 +56,23 @@ runCA action = runCtxM (runCAT (unCA action)) ...@@ -56,20 +56,23 @@ runCA action = runCtxM (runCAT (unCA action))
runCtxM :: (forall c. CtxM c v) -> IO v runCtxM :: (forall c. CtxM c v) -> IO v
runCtxM action = runReaderT (unResourceT action) Ctx runCtxM action = runReaderT (unResourceT action) Ctx
-- test11 :: IO () {-
-- test11 = runCA(newRgn(newRgn(newRgn(newRgn(newRgn(
-- newRgn(newRgn(newRgn(newRgn(return()))))))))))
-- test12 :: IO () test4 :: IO ()
-- test12 = runCA(newRgn(newRgn(newRgn(newRgn(newRgn(newRgn( test4 = runCA(newRgn(newRgn(newRgn(newRgn(return())))))
-- newRgn(newRgn(newRgn(newRgn(return())))))))))))
-- test13 :: IO () test11 :: IO ()
-- test13 = runCA(newRgn(newRgn(newRgn(newRgn(newRgn(newRgn(newRgn( test11 = runCA(newRgn(newRgn(newRgn(newRgn(newRgn(
-- newRgn(newRgn(newRgn(newRgn(return())))))))))))) newRgn(newRgn(newRgn(newRgn(return()))))))))))
test12 :: IO ()
test12 = runCA(newRgn(newRgn(newRgn(newRgn(newRgn(newRgn(
newRgn(newRgn(newRgn(newRgn(return())))))))))))
test13 :: IO ()
test13 = runCA(newRgn(newRgn(newRgn(newRgn(newRgn(newRgn(newRgn(
newRgn(newRgn(newRgn(newRgn(return()))))))))))))
{-
test14 :: IO () test14 :: IO ()
test14 = runCA(newRgn(newRgn(newRgn(newRgn(newRgn(newRgn(newRgn(newRgn( test14 = runCA(newRgn(newRgn(newRgn(newRgn(newRgn(newRgn(newRgn(newRgn(
newRgn(newRgn(newRgn(newRgn(return()))))))))))))) newRgn(newRgn(newRgn(newRgn(return())))))))))))))
......
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