diff --git a/src/Control/Abstract/Environment.hs b/src/Control/Abstract/Environment.hs index dd5cf1683..f4a884f45 100644 --- a/src/Control/Abstract/Environment.hs +++ b/src/Control/Abstract/Environment.hs @@ -6,7 +6,6 @@ module Control.Abstract.Environment , modifyEnv , withEnv , localEnv -, localize , lookupEnv , Env(..) , runEnv @@ -47,10 +46,6 @@ localEnv f a = do result <- a result <$ modifyEnv Env.pop --- | Run a computation in a new local environment. -localize :: Member (State (Environment location)) effects => Evaluator location value effects a -> Evaluator location value effects a -localize = localEnv id - -- | Look a 'Name' up in the current environment, trying the default environment if no value is found. lookupEnv :: Member (Env location) effects => Name -> Evaluator location value effects (Maybe (Address location value)) lookupEnv name = fmap Address <$> send (Lookup name)