ghc/tests/reader/should_fail/read003.stderr

   1
   2 ==================== Reader ====================
   3 module Read003 where
   4 {- rec -}
   5 ~(a, b, c)
   6     | nullity b = a
   7     | nullity c = a
   8     | otherwise = a
   9     where
  10         {- rec -}
  11         nullity = null
  12
  13
  14
  15 read003.hs:4:
  16     Occurs check: cannot construct the infinite type: t = (t, [a], t1)
  17         Expected type: (t, [a], t1)
  18         Inferred type: t
  19     In the right-hand side of a pattern binding: a
  20
  21 Compilation had errors
  22