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