blob: 920499675a0d3412a012d25d466d8fa3aff963ed (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
RepPolyDoBind.hs:26:3: error: [GHC-55287]
• The first argument of the rebindable syntax operator ‘(>>=)’
arising from a do statement
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 'do' block: a <- undefined
In the expression:
do a <- undefined
return ()
In an equation for ‘foo’:
foo _
= do a <- undefined
return ()
• Relevant bindings include
foo :: () -> ma (bound at RepPolyDoBind.hs:25:1)
|
