From d1e227dbed5e5af63510872b95a9417200c0d7c7 Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Fri, 3 Mar 2023 23:00:09 -0800 Subject: [PATCH] Delete unused imports to silence warnings --- src/Control/Monad/Unify/Trans.purs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/Control/Monad/Unify/Trans.purs b/src/Control/Monad/Unify/Trans.purs index 780184b..9221fc6 100644 --- a/src/Control/Monad/Unify/Trans.purs +++ b/src/Control/Monad/Unify/Trans.purs @@ -7,8 +7,8 @@ import Control.Monad (class Monad) import Control.Monad.State.Trans (StateT, runStateT) import Control.Monad.State.Class (gets, modify) import Control.Monad.Unify.Class (class MonadUnify, class Unifiable, class UnificationVariable, Stream, pop, squash, variable, variables, reify, unify) -import Control.Apply (class Apply, apply) -import Control.Alt (class Alt, alt) +import Control.Apply (class Apply) +import Control.Alt (class Alt) import Control.Alternative (class Alternative) import Control.Applicative (class Applicative, pure) import Control.Bind (class Bind, bind, (>>=)) @@ -20,7 +20,7 @@ import Data.Map as Map import Data.Set (Set, singleton, union) import Data.Tuple (Tuple(..), fst) import Data.Tuple.Nested ((/\)) -import Data.Newtype (class Newtype, un, over2) +import Data.Newtype (class Newtype, un) import Data.Maybe (Maybe(..), fromMaybe, isJust) type UnificationState k f =