testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / T2799.hs
1 {-# OPTIONS -XGADTs #-}
2
3 module RepAux (
4 toSpineRl
5 ) where
6
7 data MTup l where
8 P :: MTup l -> MTup (a,l)
9
10 data Spine a where
11 S :: Spine (a -> b) -> Spine b
12
13 toSpineRl :: MTup l -> l -> (l -> a) -> Spine a
14 toSpineRl (P rs) (a, l) into = S (toSpineRl rs l into')
15 where
16 into' tl1 x1 = into (x1,tl1)