blob: b5e79ffb633bf62fa2eb521131aae0b0230c2e95 (
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: [GHC-83865]
• 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: [GHC-83865]
• Couldn't match expected type: Maybe String
with actual type: Solo (Maybe String)
• In the expression: MkSolo Just "wat"
In an equation for ‘bar’: bar = (MkSolo Just "wat")
T17380.hs:15:6: error: [GHC-83865]
• 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: [GHC-83865]
• Couldn't match expected type: Maybe String
with actual type: Solo (Maybe String)
• In the pattern: MkSolo(Just "wat")
In an equation for ‘quux’: quux (MkSolo(Just "wat")) = Just "frerf"
T17380.hs:21:8: error: [GHC-83865]
• Couldn't match type: Maybe String
with: MkSolo (Maybe String)
Expected: Proxy (MkSolo (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: [GHC-83865]
• Couldn't match type: MkSolo (Maybe String)
with: Maybe String
Expected: Proxy (Maybe String)
Actual: Proxy (MkSolo (Maybe String))
• In the expression: Proxy :: Proxy ('MkSolo Maybe String)
In an equation for ‘fred’:
fred = Proxy :: Proxy ('MkSolo Maybe String)
|
