Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master
http://hackage.haskell.org/trac/ghc/changeset/a345dd2a0edbb1d7b442ae9e32b14b20c5285bad >--------------------------------------------------------------- commit a345dd2a0edbb1d7b442ae9e32b14b20c5285bad Author: Simon Peyton Jones <[email protected]> Date: Mon Sep 5 08:34:35 2011 +0100 Test Trac #5458 >--------------------------------------------------------------- tests/simplCore/should_compile/T5458.hs | 8 ++++++++ tests/simplCore/should_compile/all.T | 1 + 2 files changed, 9 insertions(+), 0 deletions(-) diff --git a/tests/simplCore/should_compile/T5458.hs b/tests/simplCore/should_compile/T5458.hs new file mode 100644 index 0000000..8b881a5 --- /dev/null +++ b/tests/simplCore/should_compile/T5458.hs @@ -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) diff --git a/tests/simplCore/should_compile/all.T b/tests/simplCore/should_compile/all.T index 123c8f4..052ae07 100644 --- a/tests/simplCore/should_compile/all.T +++ b/tests/simplCore/should_compile/all.T @@ -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, ['']) _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
