From 3296644cc84deeb3edd360aad261bbcdcb7af18b Mon Sep 17 00:00:00 2001
From: Timothy Clem <timothy.clem@gmail.com>
Date: Wed, 14 Feb 2018 08:29:34 -0800
Subject: [PATCH] Remove Linker Effect

---
 semantic-diff.cabal                 |  1 -
 src/Analysis/Abstract/Evaluating.hs |  1 -
 src/Control/Monad/Effect/Linker.hs  | 15 ---------------
 src/Data/Syntax/Declaration.hs      |  1 -
 4 files changed, 18 deletions(-)
 delete mode 100644 src/Control/Monad/Effect/Linker.hs

diff --git a/semantic-diff.cabal b/semantic-diff.cabal
index e360498c3..3573ab2e2 100644
--- a/semantic-diff.cabal
+++ b/semantic-diff.cabal
@@ -36,7 +36,6 @@ library
                      , Control.Monad.Effect.Cache
                      , Control.Monad.Effect.Dead
                      , Control.Monad.Effect.Env
-                     , Control.Monad.Effect.Link
                      , Control.Monad.Effect.Fresh
                      , Control.Monad.Effect.GC
                      , Control.Monad.Effect.NonDet
diff --git a/src/Analysis/Abstract/Evaluating.hs b/src/Analysis/Abstract/Evaluating.hs
index 9d82d3446..4be069215 100644
--- a/src/Analysis/Abstract/Evaluating.hs
+++ b/src/Analysis/Abstract/Evaluating.hs
@@ -5,7 +5,6 @@ import Control.Effect
 import Control.Monad.Effect hiding (run)
 import Control.Monad.Effect.Env
 import Control.Monad.Effect.Address
-import Control.Monad.Effect.Linker
 import Control.Monad.Effect.Fail
 import Control.Monad.Effect.Reader
 import Control.Monad.Effect.State
diff --git a/src/Control/Monad/Effect/Linker.hs b/src/Control/Monad/Effect/Linker.hs
deleted file mode 100644
index de6557c08..000000000
--- a/src/Control/Monad/Effect/Linker.hs
+++ /dev/null
@@ -1,15 +0,0 @@
-{-# LANGUAGE MultiParamTypeClasses, TypeOperators, UndecidableInstances #-}
-module Control.Monad.Effect.Linker where
-
-import Control.Monad.Effect
-import Control.Monad.Effect.Reader
-import Data.Abstract.Linker
-
-
-class Monad m => MonadLinker v m where
-  askLinker :: m (Linker v)
-  localLinker :: (Linker v -> Linker v) -> m b -> m b
-
-instance (Reader (Linker v) :< fs) => MonadLinker v (Eff fs) where
-  askLinker = ask
-  localLinker = local
diff --git a/src/Data/Syntax/Declaration.hs b/src/Data/Syntax/Declaration.hs
index a2a42a62f..816a60c3e 100644
--- a/src/Data/Syntax/Declaration.hs
+++ b/src/Data/Syntax/Declaration.hs
@@ -3,7 +3,6 @@ module Data.Syntax.Declaration where
 
 import Control.Applicative
 import Control.Monad.Effect.Address
-import Control.Monad.Effect.Linker
 import Control.Monad.Effect.Env
 import Control.Monad.Effect.Fresh
 import Control.Monad.Effect.Store