blob: 8adeb4b280f0b0dedd73f5894872035f7222b6ff (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
T11471.hs:17: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:17:1)
T11471.hs:17:35: error: [GHC-18872]
• Couldn't match a lifted type with an unlifted type
When matching types
F a :: *
Int# :: TYPE IntRep
• In the second argument of ‘f’, namely ‘3#’
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:17:1)
|