We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 42c8f60 commit 9d9f644Copy full SHA for 9d9f644
semantic-analysis/src/Analysis/Analysis/DeadCode.hs
@@ -23,8 +23,8 @@ import Control.Carrier.Fresh.Church
23
import Control.Carrier.Reader
24
import Control.Carrier.State.Church
25
import Control.Effect.Labelled
26
+import Control.Monad (zipWithM_)
27
import Control.Monad.Trans.Class
-import Data.Foldable (sequenceA_)
28
import Data.Function (fix)
29
import qualified Data.Set as Set
30
@@ -109,7 +109,7 @@ instance ( Alternative m
109
L (DAbs n b) -> do
110
addrs <- traverse A.alloc n
111
let args = Unit <$ n
112
- sequenceA_ (zipWith (A..=) addrs args)
+ zipWithM_ (A..=) addrs args
113
hdl (b args <$ ctx)
114
L (DApp _ _) -> pure (Unit <$ ctx)
115
0 commit comments