Use -ddump-strsigs in tests/stranal/sigs
[ghc.git] / testsuite / tests / stranal / sigs / T8569.hs
1 {-# LANGUAGE GADTs #-}
2
3 module T8569 where
4
5 data Rep t where
6 Rint :: Rep Int
7 Rdata :: Rep i -> (t -> i) -> Rep t
8
9 addUp :: Rep a -> a -> Int
10 addUp Rint n = n
11 addUp (Rdata i f) x = addUp i (f x)