Skip to content

Monad GHC.Prim.Any1 gets derived in a context

Because Monad GHC.Prim.Any1 gets derived in the type of the function test in the attached file, I cannot write an instance for it (obviously) and I cannot continue writing the code where I use the test function. I.e. I have this problem in a real project and it's blocking progress, until I find a work-around (which I didn't find after about an hour). I hope this gets fixed soon.

Trac metadata
Trac field Value
Version 6.6.1
Type Bug
TypeOfFailure OtherFailure
Priority high
Resolution Unresolved
Component Compiler (Type checker)
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system Unknown
Architecture Unknown
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information