ghc/tests/typecheck/should_fail/tcfail075.stderr

   1
   2 Top-level bindings for unlifted types aren't allowed: x = 1#
   3
   4 tcfail075.hs:12:
   5     Couldn't match `#' against `*'
   6     When matching types `Int#' and `t'
   7         Expected type: Int#
   8         Inferred type: t
   9     In the first argument of `(+#)', namely `x'
  10
  11 tcfail075.hs:15:
  12     Couldn't match `#' against `*'
  13     When matching types `Int#' and `t'
  14         Expected type: Int#
  15         Inferred type: t
  16     In the first argument of `(-#)', namely `x'
  17
  18 tcfail075.hs:17:
  19     Couldn't match `#' against `*'
  20     When matching types `Int#' and `t'
  21         Expected type: Int#
  22         Inferred type: t
  23     In the first argument of `(>#)', namely `z'