blob: 3773c76400b494d7cca62a0c21d599487480f98f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
T17380.hs:9:7: error:
• Couldn't match expected type: Solo (Maybe String)
with actual type: Maybe String
• In the expression: Just "wat"
In an equation for ‘foo’: foo = Just "wat"
T17380.hs:12:8: error:
• Couldn't match expected type: Maybe String
with actual type: Solo (Maybe String)
• In the expression: Solo Just "wat"
In an equation for ‘bar’: bar = (Solo Just "wat")
T17380.hs:15:6: error:
• Couldn't match expected type: Solo (Maybe String)
with actual type: Maybe String
• In the pattern: Just "wat"
In an equation for ‘baz’: baz (Just "wat") = Just "frerf"
T17380.hs:18:7: error:
• Couldn't match expected type: Maybe String
with actual type: Solo (Maybe String)
• In the pattern: Solo(Just "wat")
In an equation for ‘quux’: quux (Solo(Just "wat")) = Just "frerf"
T17380.hs:21:8: error:
• Couldn't match type: Maybe String
with: 'Solo (Maybe String)
Expected: Proxy ('Solo (Maybe String))
Actual: Proxy (Maybe String)
• In the expression: Proxy :: Proxy (Maybe String)
In an equation for ‘quuz’: quuz = Proxy :: Proxy (Maybe String)
T17380.hs:24:8: error:
• Couldn't match type: 'Solo (Maybe String)
with: Maybe String
Expected: Proxy (Maybe String)
Actual: Proxy ('Solo (Maybe String))
• In the expression: Proxy :: Proxy ('Solo Maybe String)
In an equation for ‘fred’:
fred = Proxy :: Proxy ('Solo Maybe String)
|
