testsuite/tests/simplCore/should_compile/T15631.hs


1
2
3
4
5
6
7
8
9
10
11

{-# Language PartialTypeSignatures, RankNTypes #-}

module Foo where

f xs = let ys = reverse xs
       in ys `seq`
          let w = length xs
          in w + length (reverse (case ys of { a:as -> as; [] -> [] }))