blob: 952d35869270cdb14022a0829e14d40ea52a5d67 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
T15289.hs:5:16: error:
• Couldn't match expected type ‘Maybe’ with actual type ‘Bool’
• In the pattern: True
In the pattern: True :: Maybe
In the declaration for pattern synonym ‘What’
T15289.hs:5:24: error:
• Expecting one more argument to ‘Maybe’
Expected a type, but ‘Maybe’ has kind ‘* -> *’
• In the type ‘Maybe’
In a pattern type signature: Maybe
In the pattern: True :: Maybe
|