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

T8262.hs:5:15: error: [GHC-18872]
    • Couldn't match a lifted type with an unlifted type
      When matching types
        a :: *
        GHC.Prim.Int# :: TYPE 'GHC.Types.IntRep
    • In the first argument of ‘Just’, namely ‘(1#)’
      In the expression: Just (1#)
      In an equation for ‘foo’: foo x = Just (1#)
    • Relevant bindings include
        foo :: p -> Maybe a (bound at T8262.hs:5:1)