blob: 19ec29e90f1fc6fc8b8cd6d9861083c46bd7aae1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
T15330.hs:12:6: error: [GHC-83865]
• Couldn't match type: [Char]
with: Proxy (T 'True)
Expected: Proxy (T 'True)
Actual: String
• In the expression: "foo"
In an equation for ‘f1’: f1 = "foo"
T15330.hs:16:6: error: [GHC-83865]
• Couldn't match type: [Char]
with: Proxy (t 'True)
Expected: Proxy (t 'True)
Actual: String
• In the expression: "foo"
In an equation for ‘f2’: f2 = "foo"
• Relevant bindings include
f2 :: Proxy (t 'True) (bound at T15330.hs:16:1)
|
