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

T8262.hs:5:15: error:
    • 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)