blob: 377d1da759d4bccda64df2b6abdd664280086e7f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
T11471.hs:15:10: error: [GHC-18872]
• Couldn't match a lifted type with an unlifted type
When matching types
a :: *
Int# :: TYPE IntRep
Expected: Proxy a
Actual: Proxy Int#
• In the first argument of ‘f’, namely ‘(undefined :: Proxy Int#)’
In the expression: f (undefined :: Proxy Int#) 3#
In an equation for ‘bad’: bad = f (undefined :: Proxy Int#) 3#
• Relevant bindings include bad :: F a (bound at T11471.hs:15:1)
|
