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             aKy = (aKy, aKB, aKE)
  18     Expected: (aKy, [aKM], aKE)
  19     Inferred: aKy
  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