blob: c5e5f84662d2eb2eebb78b5eee012049cd2f6113 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
RepPolyNPlusK.hs:22:1: error:
The first pattern in the equation for ‘foo’
does not have a fixed runtime representation.
Its type is:
a :: TYPE rep1
RepPolyNPlusK.hs:22:6: error:
• The first argument of the rebindable syntax operator ‘(>=)’
arising from the literal ‘2’
does not have a fixed runtime representation.
Its type is:
a :: TYPE rep1
• In the pattern: bndr_a+2
In an equation for ‘foo’: foo (bndr_a+2) = ()
|
