testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / tc034.hs
1 module ShouldSucceed where
2
3 data AList a = ANull | ANode a (AList a)
4
5 type IntList = AList Int
6
7 g (ANull) = 2
8 g (ANode b (ANode c d)) | b = 3
9 | True = 4
10
11