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:
  17         t = (t, [a], _116)
  18         Expected type: (t, [a], _116)
  19         Inferred type: t
  20     In the right-hand side of a pattern binding: a
  21
  22
  23 Compilation had errors
  24