ghc/compiler/tests/reader/read003.stderr

   1
   2 read003.hs:8: Cannot construct the infinite type (occur check)
   3                   `t{-aK8-}' = `(t{-aK8-}, t{-aKb-}, t{-aKe-})'
   4     Expected: `(t{-aK8-}, [a{-aKm-}], [a{-aKo-}])'
   5     Inferred: `t{-aK8-}'
   6     In a pattern binding:
   7         ~(`a', `b', `c')
   8             | [`nullity
   9                     b'] =
  10                 `a'
  11             | [`nullity
  12                     c'] =
  13                 `a'
  14             | [`PrelBase.otherwise'] =
  15                 `a'
  16             where
  17                 `nullity'
  18                     =   `PrelList.null'
  19
  20
  21 Compilation had errors