testsuite/tests/codeGen/should_compile/T9303.hs


1
2
3
4
5
6
7
8
9
10

module M (f) where

f :: Int -> Int
f i = go [ 1, 0 ]
    where
      go :: [Int] -> Int
      go []     = undefined
      go [1]    = undefined
      go (x:xs) | x == i    = 2
                | otherwise = go xs