ghc/tests/reader/should_fail/read003.stderr

   1 ==================== Reader ====================
   2 module Read003 where
   3 {- rec -}
   4 ~(a, b, c)
   5     | nullity b = a
   6     | nullity c = a
   7     | otherwise = a
   8     where
   9         {- rec -}
  10         nullity = null
  11
  12
  13 read003.hs:8: Cannot construct the infinite type (occur check)
  14                   `taHn' = `(taHn, taHq, taHt)'
  15     Expected: `taHn'
  16     Inferred: `(taHn, [taHB], taHt)'
  17     In a pattern binding:
  18         `~(a, b, c)
  19              | nullity b = a
  20              | nullity c = a
  21              | otherwise = a
  22              where
  23                  nullity = null'
  24
  25 Compilation had errors