blob: f592741d6ff9c537f654bfa40228b8fa2a29a96e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
ExpandSynsFail1.hs:4:31: error:
• Couldn't match type ‘Bool’ with ‘Int’
Expected: Foo
Actual: 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)
|