blob: 0d5a9109a4f84c764e0ebb131067f4ff61b9f12d (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
ExpandSynsFail1.hs:4:31: error:
Couldn't match type ‘Bool’ with ‘Int’
Expected type: Foo
Actual type: Bar
Type synonyms expanded:
Expected type: Int
Actual type: Bool
In the second argument of ‘(==)’, namely ‘(False :: Bar)’
In the second argument of ‘($)’, namely
‘(1 :: Foo) == (False :: Bar)’
In the expression: print $ (1 :: Foo) == (False :: Bar)
|