Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / simplCore / should_run / T14965_Sep.hs
1 module T14965_Sep where
2
3 data Sep = Sep
4 { bugVanishesWithoutThis :: [()]
5 , middle :: [String]
6 , orThis :: [()]
7 }
8
9 catSep :: Sep -> Sep -> Sep
10 catSep (Sep a b c) (Sep x y z) = Sep (a ++ x) (b ++ y) (c ++ z)
11
12 cc :: Sep -> Bool
13 cc boost = elem "foo" $ middle boost