80c5fc606ca7c2f2749600e1a1ab62d295d0e68f
[ghc.git] / testsuite / tests / dependent / should_fail / T11471.stderr
1
2 T11471.hs:15:10: error:
3     • Couldn't match a lifted type with an unlifted type
4       Expected type: Proxy Int#
5         Actual type: Proxy Int#
6       Use -fprint-explicit-kinds to see the kind arguments
7     • In the first argument of ‘f’, namely ‘(undefined :: Proxy Int#)’
8       In the expression: f (undefined :: Proxy Int#) 3#
9       In an equation for ‘bad’: bad = f (undefined :: Proxy Int#) 3#
10
11 T11471.hs:15:35: error:
12     • Couldn't match a lifted type with an unlifted type
13       When matching types
14         F Int# :: *
15         Int# :: TYPE 'IntRep
16     • In the second argument of ‘f’, namely ‘3#’
17       In the expression: f (undefined :: Proxy Int#) 3#
18       In an equation for ‘bad’: bad = f (undefined :: Proxy Int#) 3#
19     • Relevant bindings include bad :: F Int# (bound at T11471.hs:15:1)