blob: 90768aaab3c355e9cde1f4aa691358f9e58f62ac (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
RepPolyMcGuard.hs:30:16: error: [GHC-55287]
• The first argument of the rebindable syntax operator ‘guard’
arising from a statement in a monad comprehension
does not have a fixed runtime representation.
Its type is:
a0 :: TYPE rep0
Cannot unify ‘rep’ with the type variable ‘rep0’
because it is not a concrete ‘RuntimeRep’.
• In a stmt of a monad comprehension: undefined
In the expression: [() | undefined]
In an equation for ‘foo’: foo _ = [() | undefined]
• Relevant bindings include
foo :: () -> ma (bound at RepPolyMcGuard.hs:30:1)
|
