Restyled by hlint

disco-lang · May 20, 2024 · 2c660d5 · 2c660d5
1 parent aac75ae
commit 2c660d5
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/src/Polysemy/ConstraintAbsorber.hs b/src/Polysemy/ConstraintAbsorber.hs
@@ -48,6 +48,6 @@ absorbWithSem ::
 absorbWithSem d i m = R.reify d $ \(_ :: Proxy (s :: Type)) ->
   m
     \\ C.trans
-      (C.unsafeCoerceConstraint :: ((p (x m s) :- p m)))
+      (C.unsafeCoerceConstraint :: (p (x m s) :- p m))
       i
 {-# INLINEABLE absorbWithSem #-}
diff --git a/src/Polysemy/ConstraintAbsorber/MonadCatch.hs b/src/Polysemy/ConstraintAbsorber/MonadCatch.hs
@@ -77,7 +77,7 @@ absorbMonadThrow ::
   -- 'Sem'. This might be something with type @'C.MonadCatch' e m => m a@.
   (C.MonadThrow (Sem r) => Sem r a) ->
   Sem r a
-absorbMonadThrow main = absorbMonadCatch main
+absorbMonadThrow = absorbMonadCatch
 {-# INLINEABLE absorbMonadThrow #-}
 
 ------------------------------------------------------------------------------
@@ -122,7 +122,7 @@ instance
   catch x f =
     let catchF = catch_ (reflect $ Proxy @s')
      in Action $
-          (action x) `catchF` \e -> case C.fromException e of
+          action x `catchF` \e -> case C.fromException e of
             Just e' -> action $ f e'
             _ -> throwM_ (reflect $ Proxy @s') (C.toException e)
   {-# INLINEABLE catch #-}