blob: 93aca381cef836fc38fcc1fe2243812132f8ea9f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
RepPolyMcBody.hs:30: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: True
In the expression: [() | True]
In an equation for ‘foo’: foo _ = [() | True]
• Relevant bindings include
foo :: () -> ma (bound at RepPolyMcBody.hs:30:1)
|
