polysemy-zoo 0.1.1.0 test failure

[alexeyzab]

Building test suite 'polysemy-zoo-test' for polysemy-zoo-0.1.1.0..
[1 of 4] Compiling IdempotentLoweringSpec ( test/IdempotentLoweringSpec.hs, dist/build/polysemy-zoo-test/polysemy-zoo-test-tmp/IdempotentLoweringSpec.o )

test/IdempotentLoweringSpec.hs:36:21: error:
    • Could not deduce: (Member Resource '[State Int, State s0,
                                           Lift IO])
      Fix:
        add (Member Resource '[State Int, State s0,
                               Lift IO]) to the context of
          the type signature
    • In the first argument of ‘runIt’, namely ‘test’
      In a stmt of a 'do' block: result <- runIt test
      In the second argument of ‘($)’, namely
        ‘do runIt <- nat runM .@! const (runStateInIO 0)
                       .@! liftNat runResource
            result <- runIt test
            result `shouldBe` (3 :: Int)’
   |
36 |     result <- runIt test
   |                     ^^^^

test/IdempotentLoweringSpec.hs:36:21: error:
    • Unhandled effect 'Resource'
      Probable fix:
        add an interpretation for 'Resource'
        If you are looking for inspiration, try consulting
          the documentation for module 'Polysemy.Resource'
    • In the first argument of ‘runIt’, namely ‘test’
      In a stmt of a 'do' block: result <- runIt test
      In the second argument of ‘($)’, namely
        ‘do runIt <- nat runM .@! const (runStateInIO 0)
                       .@! liftNat runResource
            result <- runIt test
            result `shouldBe` (3 :: Int)’
   |
36 |     result <- runIt test
   |                     ^^^^

cc @isovector

[isovector]

Sorry for the churn here. But I'm not sure what's going on here because it works for me.

This looks a lot like the Polysemy.Plugin isn't being loaded. Can you give me some repro steps that involve where you fetched the package from?

[alexeyzab]

Here's how I was able to reproduce it locally:

stack unpack polysemy-zoo-0.1.1.0
cd polysemy-zoo-0.1.1.0
stack init --resolver nightly
stack test

[isovector]

Ok, I can repro, thanks. Looking into it!

[isovector]

@alexeyzab I just released polysemy-plugin-0.2.0.0 on hackage, which should fix this. I think we're good to revert 8c845ad

[alexeyzab]

@isovector Thanks!