ghc/tests/reader/should_fail/read003.stderr

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