ghc/tests/reader/should_fail/read003.stderr

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