[project @ 1996-01-08 20:28:12 by partain]
[ghc.git] / ghc / compiler / tests / typecheck / should_succeed / 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