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:8:
  16     Occurs check: cannot construct the infinite type:
  17             aIK = (aIK, aIN, aIQ)
  18         Expected: aIK
  19         Inferred: (aIK, [aIY], aIQ)
  20         In a pattern binding:
  21             ~(a, b, c)
  22                 | nullity b = a
  23                 | nullity c = a
  24                 | otherwise = a
  25                 where
  26                     nullity = null
  27
  28
  29 Compilation had errors