blob: 2678d90f330378b645630e64329f393e2b581e75 (
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 c0
Cannot unify ‘rep’ with the type variable ‘c0’
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)
|
