Test case for #T7619
[ghc.git] / testsuite / tests / perf / should_run / T7619.hs
1 {-# LANGUAGE TypeFamilies #-}
2 module Main where
3 data family Foo a
4
5 data instance Foo Int = FooInt Int Int
6
7 foo :: Foo Int -> Int
8 foo (FooInt a 0) = 0
9 foo (FooInt a b) = foo (FooInt a (b-1))
10
11 main :: IO ()
12 main = foo (FooInt 0 10000) `seq` return ()