From 4bc96a21ae6d928a9121202bf67fcb293099c383 Mon Sep 17 00:00:00 2001 From: Patrick Thomson Date: Thu, 7 Nov 2019 15:57:24 -0500 Subject: [PATCH] Adjust IORef carrier to handle new handleCoercible idiom. This brings us up to parity with what we expect the 1.0 interface to look like. --- cabal.project | 2 +- src/Control/Carrier/State/IORef.hs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/cabal.project b/cabal.project index 724efbd..e6c8efc 100644 --- a/cabal.project +++ b/cabal.project @@ -3,4 +3,4 @@ packages: . source-repository-package type: git location: https://github.com/fused-effects/fused-effects.git - tag: 0c7d9c19b638f7fe21ac77903894308ad15b0e80 + tag: e6282afa5eee744ccf733a1adecbd1db218e4d01 diff --git a/src/Control/Carrier/State/IORef.hs b/src/Control/Carrier/State/IORef.hs index 661308e..f9a26b9 100644 --- a/src/Control/Carrier/State/IORef.hs +++ b/src/Control/Carrier/State/IORef.hs @@ -68,5 +68,5 @@ instance (MonadIO m, Algebra sig m, Effect sig) => Algebra (State s :+: sig) (St case act of Put s k -> liftIO (writeIORef ref s) *> k Get k -> liftIO (readIORef ref) >>= k - alg (R other) = StateC (handleCoercible other) + alg (R other) = StateC (alg (R (handleCoercible other))) {-# INLINE alg #-}