blob: b49bd58f2a91507832d08061116a6001a88981b6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
RepPolyNewtypePat1.hs:16:1: error:
The first pattern in the equation for ‘bar’
does not have a fixed runtime representation.
Its type is:
X a :: TYPE rep
RepPolyNewtypePat1.hs:16:6: error:
• The newtype constructor pattern
does not have a fixed runtime representation.
Its type is:
a :: TYPE rep
• In the pattern: MkX bndr_a
In an equation for ‘bar’: bar (MkX bndr_a) = bndr_a
|