blob: 8288d3061905a21b41d217c8c3189f1d6c224e89 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
SimpleFail5a.hs:31:11:
Couldn't match type ‘a’ with ‘Int’
‘a’ is a rigid type variable bound by
the type signature for: bar3wrong :: S3 a -> a
at SimpleFail5a.hs:30:14
Expected type: S3 a
Actual type: S3 Int
In the pattern: D3Int
In an equation for ‘bar3wrong’: bar3wrong D3Int = 1
Relevant bindings include
bar3wrong :: S3 a -> a (bound at SimpleFail5a.hs:31:1)
|