ee6c4134396b28c000dc7b812702ef14032da0f3
[ghc.git] / testsuite / tests / stranal / sigs / T8569.hs
1 {-# OPTIONS_GHC -fplugin StrAnalAnnotation #-}
2 {-# LANGUAGE GADTs #-}
3
4 module T8569 where
5
6 import StrAnalAnnotation (StrAnal(StrAnal))
7
8 data Rep t where
9 Rint :: Rep Int
10 Rdata :: Rep i -> (t -> i) -> Rep t
11
12 addUp :: Rep a -> a -> Int
13 addUp Rint n = n
14 addUp (Rdata i f) x = addUp i (f x)
15 {-# ANN addUp (StrAnal "<S,1*U><L,U>") #-}