blob: 647a8d625df13ca9986210fe8a4bc5967b1b4530 (
plain)
1
2
3
4
5
6
7
8
9
10
|
RepPolyMcBind.hs:26:16: error:
• The first argument of the rebindable syntax operator ‘(>>=)’
arising from a statement in a monad comprehension
does not have a fixed runtime representation.
Its type is:
ma :: TYPE rep
• In a stmt of a monad comprehension: x <- undefined :: ma
In the expression: [() | x <- undefined :: ma]
In an equation for ‘foo’: foo _ = [() | x <- undefined :: ma]
|
