[project @ 1997-07-26 22:48:58 by sof]
[ghc.git] / ghc / tests / typecheck / should_fail / tcfail015.hs
1 module ShouldFail 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 = c+1
9 | otherwise = 4