summaryrefslogtreecommitdiff
path: root/testsuite/tests/qualifieddo/should_run/qdorun007.hs
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/qualifieddo/should_run/qdorun007.hs')
-rw-r--r--testsuite/tests/qualifieddo/should_run/qdorun007.hs15
1 files changed, 15 insertions, 0 deletions
diff --git a/testsuite/tests/qualifieddo/should_run/qdorun007.hs b/testsuite/tests/qualifieddo/should_run/qdorun007.hs
new file mode 100644
index 0000000000..189c045e58
--- /dev/null
+++ b/testsuite/tests/qualifieddo/should_run/qdorun007.hs
@@ -0,0 +1,15 @@
+{-# LANGUAGE QualifiedDo #-}
+-- Tests that QualfiedDo works for a linear monad.
+
+import Monad.Linear as Linear
+
+
+main = do
+ let r = runTM (Linear.do
+ t0 <- newT
+ t1 <- increaseT t0
+ (t2, ur) <- extractT t1
+ deleteT t2
+ Linear.return ur)
+ print r
+ print r