Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T8262.stderr
1
2 T8262.hs:5:15: error:
3     • Couldn't match a lifted type with an unlifted type
4       When matching types
5         a :: *
6         GHC.Prim.Int# :: TYPE 'GHC.Types.IntRep
7     • In the first argument of ‘Just’, namely ‘(1#)’
8       In the expression: Just (1#)
9       In an equation for ‘foo’: foo x = Just (1#)
10     • Relevant bindings include
11         foo :: p -> Maybe a (bound at T8262.hs:5:1)