haskell-streaming / streaming-with

with/bracket-style idioms for use with streaming
MIT License
6 stars 5 forks source link

Inaccurate version bounds / build failures with pre-AMP base #3

Closed hvr closed 3 years ago

hvr commented 6 years ago

Am I right to assume that no release of streaming-with intends to support base < 4.8?

Configuring library for streaming-with-0.2.2.1..
Preprocessing library for streaming-with-0.2.2.1..
Building library for streaming-with-0.2.2.1..
[1 of 2] Compiling Streaming.With   ( src/Streaming/With.hs, /tmp/matrix-worker/1527056394/dist-newstyle/build/x86_64-linux/ghc-7.8.4/streaming-with-0.2.2.1/build/Streaming/With.o )
[2 of 2] Compiling Streaming.With.Lifted ( src/Streaming/With/Lifted.hs, /tmp/matrix-worker/1527056394/dist-newstyle/build/x86_64-linux/ghc-7.8.4/streaming-with-0.2.2.1/build/Streaming/With/Lifted.o )

src/Streaming/With/Lifted.hs:103:14:
    Couldn't match type ‘(a -> m r) -> m r’
                  with ‘forall r1.
                        (a -> WithMonad (ContT r m) r1) -> WithMonad (ContT r m) r1’
    Expected type: (forall r1.
                    (a -> WithMonad (ContT r m) r1) -> WithMonad (ContT r m) r1)
                   -> ContT r m a
      Actual type: ((a -> m r) -> m r) -> ContT r m a
    Relevant bindings include
      liftWith :: (forall r1.
                   (a -> WithMonad (ContT r m) r1) -> WithMonad (ContT r m) r1)
                  -> ContT r m a
        (bound at src/Streaming/With/Lifted.hs:103:3)
    In the expression: ContT
    In an equation for ‘liftWith’: liftWith = ContT
hvr commented 6 years ago

I've revised the affected releases accordingly: