blob: 676bb543ac3947a4ca6760f453d241432f7edfb2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
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:
ma0 :: TYPE c0
Cannot unify ‘rep’ with the type variable ‘c0’
because it is not a concrete ‘RuntimeRep’.
• 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]
• Relevant bindings include
foo :: () -> ma (bound at RepPolyMcBind.hs:26:1)
|