summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T8262.stderr
blob: 9bc46e3ebec4e13897d075e410b95406652a5aed (plain)
1
2
3
4
5
6
7
8
9
10
11

T8262.hs:5:15:
    Couldn't match kind ‘*’ with ‘#’
    When matching types
      a :: *
      GHC.Prim.Int# :: #
    Relevant bindings include
      foo :: t -> Maybe a (bound at T8262.hs:5:1)
    In the first argument of ‘Just’, namely ‘(1#)’
    In the expression: Just (1#)
    In an equation for ‘foo’: foo x = Just (1#)