blob: 76afd8aedfb98bdf6850cd2bdc3db62c35e64523 (
plain)
1
2
3
4
5
6
7
8
9
10
|
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
|