Test Trac #5458
authorSimon Peyton Jones <simonpj@microsoft.com>
Mon, 5 Sep 2011 07:34:35 +0000 (08:34 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Mon, 5 Sep 2011 07:34:35 +0000 (08:34 +0100)
testsuite/tests/simplCore/should_compile/T5458.hs [new file with mode: 0644]
testsuite/tests/simplCore/should_compile/all.T

diff --git a/testsuite/tests/simplCore/should_compile/T5458.hs b/testsuite/tests/simplCore/should_compile/T5458.hs
new file mode 100644 (file)
index 0000000..8b881a5
--- /dev/null
@@ -0,0 +1,8 @@
+module Foo where
+
+type T a = Int
+
+f :: T a -> Bool -> [Int]
+f x b = case b of
+               True  -> f x b
+               False -> x : f x (x > 19)
index 123c8f4..052ae07 100644 (file)
@@ -127,3 +127,4 @@ test('T5303', reqlib('mtl'), compile, [''])   # Coercion-optimiation test
 test('T5342', normal, compile, [''])   # Lint error with -prof
 test('T5359a', normal, compile, [''])  # Lint error with -O (OccurAnal)
 test('T5359b', normal, compile, [''])  # Lint error with -O (OccurAnal)
+test('TT5458', normal, compile, [''])