testsuite/tests/simplCore/should_run/T14965_Sep.hs


1
2
3
4
5
6
7
8
9
10
11
12
13

module T14965_Sep where

data Sep = Sep
  { bugVanishesWithoutThis :: [()]
  , middle :: [String]
  , orThis :: [()]
  }

catSep :: Sep -> Sep -> Sep
catSep (Sep a b c) (Sep x y z) = Sep (a ++ x) (b ++ y) (c ++ z)

cc :: Sep -> Bool
cc boost = elem "foo" $ middle boost