ghc/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