blob: 43e6b473eb35c0d4ee104b3768772c9f740c3a49 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
T15330.hs:12:6: error:
• 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:
• 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)
|
