1
2
3
4
5
6
7
8
9
10
11
12
|
ExpandSynsFail3.hs:21:8: error:
• Couldn't match type ‘Bool’ with ‘Int’
Expected: T (T3, T5, Int)
Actual: T (T5, T3, Bool)
Type synonyms expanded:
Expected type: T (T3, T3, Int)
Actual type: T (T3, T3, Bool)
• In the first argument of ‘f’, namely
‘(undefined :: T (T5, T3, Bool))’
In the expression: f (undefined :: T (T5, T3, Bool))
In an equation for ‘a’: a = f (undefined :: T (T5, T3, Bool))
|