[commit: ghc] master: Test case for #9938 (65e3e0b)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/65e3e0b2ce125b906efca129c92673fc40cf79f6/ghc

>---------------------------------------------------------------

commit 65e3e0b2ce125b906efca129c92673fc40cf79f6
Author: Joachim Breitner <mail at joachim-breitner.de>
Date:   Mon Dec 29 19:37:19 2014 +0100

    Test case for #9938
    
    Marked as known_broken


>---------------------------------------------------------------

65e3e0b2ce125b906efca129c92673fc40cf79f6
 testsuite/tests/driver/Makefile |  6 ++++++
 testsuite/tests/driver/T9938.hs | 13 +++++++++++++
 testsuite/tests/driver/all.T    |  4 ++++
 3 files changed, 23 insertions(+)

diff --git a/testsuite/tests/driver/Makefile b/testsuite/tests/driver/Makefile
index 11724a5..2acedfc 100644
--- a/testsuite/tests/driver/Makefile
+++ b/testsuite/tests/driver/Makefile
@@ -586,3 +586,9 @@ write_interface_make:
 	$(RM) -rf write_interface_make/A011.hi
 	"$(TEST_HC)" $(TEST_HC_OPTS) -hidir write_interface_make -fno-code -fwrite-interface --make A011.hs
 	test -f write_interface_make/A011.hi
+
+.PHONY: T9938
+T9938:
+	$(RM) -rf T9938.o T9938.hi T9938
+	"$(TEST_HC)" -c T9938.hs
+	"$(TEST_HC)" T9938.o -o T9938
diff --git a/testsuite/tests/driver/T9938.hs b/testsuite/tests/driver/T9938.hs
new file mode 100644
index 0000000..f9bb131
--- /dev/null
+++ b/testsuite/tests/driver/T9938.hs
@@ -0,0 +1,13 @@
+module Main where
+
+import Control.Monad
+import Control.Monad.Trans.State
+
+solve :: Int -> StateT () [] ()
+solve carry | carry > 0 =
+  do guard (0 == carry)
+     solve (carry -1)
+solve 0 = mzero
+
+main :: IO ()
+main = return ()
diff --git a/testsuite/tests/driver/all.T b/testsuite/tests/driver/all.T
index ed4d924..cd38ceb 100644
--- a/testsuite/tests/driver/all.T
+++ b/testsuite/tests/driver/all.T
@@ -410,3 +410,7 @@ test('write_interface_make', normal, run_command, ['$MAKE -s --no-print-director
 
 test('T9776', normal, compile_fail, ['-frule-check'])
 
+test('T9938',
+     [ extra_clean(['T9938.hi', 'T9938.o', 'T9938']), expect_broken(9938)],
+     run_command,
+     ['$MAKE -s --no-print-directory T9938'])