blob: 70ea8834bdac4c597bac106634574be5aa2acb85 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
RepPolyDoBody2.hs:23: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:
mb0 :: TYPE rep0
Cannot unify ‘rep’ with the type variable ‘rep0’
because it is not a concrete ‘RuntimeRep’.
• In a stmt of a 'do' block: undefined :: ()
In the expression:
do undefined :: ()
return ()
In an equation for ‘foo’:
foo _
= do undefined :: ()
return ()
• Relevant bindings include
foo :: () -> ma (bound at RepPolyDoBody2.hs:22:1)
|