mirror of
https://github.com/ilyakooo0/Idris-dev.git
synced 2024-09-21 14:09:30 +03:00
13 lines
373 B
Plaintext
13 lines
373 B
Plaintext
|
badbangop.idr:16:1:When elaborating right hand side of opUse:
|
||
|
When elaborating an application of function Prelude.Monad.>>=:
|
||
|
Can't unify
|
||
|
List Integer
|
||
|
with
|
||
|
argTy -> retTy
|
||
|
|
||
|
Specifically:
|
||
|
Can't unify
|
||
|
List
|
||
|
with
|
||
|
\{uv0} => argTy -> uv
|