aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/Main.hs8
1 files changed, 1 insertions, 7 deletions
diff --git a/src/Main.hs b/src/Main.hs
index d3898de..bcb1f00 100644
--- a/src/Main.hs
+++ b/src/Main.hs
@@ -46,8 +46,7 @@ data Context = Context { cStack :: [(Action, Env)], cBaseEnv :: Env }
data Action = Action Cmd Name
deriving (Show)
-data Cmd = CForget
- | CRewrite Name
+data Cmd = CRewrite Name
| CBeta
| CEta
| CCase
@@ -71,7 +70,6 @@ instance Pretty Action where
pretty (Action cmd target) = "action " ++ target ++ " " ++ pretty cmd
instance Pretty Cmd where
- pretty CForget = "forget"
pretty (CRewrite name) = "rew " ++ name
pretty CBeta = "beta"
pretty CEta = "eta"
@@ -105,9 +103,6 @@ repeatTrans f expr =
apply :: Context -> Action -> Either String Context
apply ctx act@(Action cmd target) = case cmd of
- CForget -> do
- env' <- forget (topEnv ctx) target
- return $ pushCtx (act, env') ctx
CRewrite name -> genTransform (\env -> liftM2 (,) (get env name) (get env target))
(\(repl, expr) -> normalise $ rewrite name repl expr)
CRepeat subcmd -> case exprTransformer subcmd of
@@ -205,7 +200,6 @@ parseCmd ["env"] = Right CShowEnv
parseCmd ["focus"] = Right CUnFocus
parseCmd ["focus", name] = Right (CFocus name)
parseCmd ["log"] = Right CLog
-parseCmd ["forget"] = Right (UCCmd CForget)
parseCmd ["rew", func] = Right (UCCmd (CRewrite func))
parseCmd ["beta"] = Right (UCCmd CBeta)
parseCmd ["eta"] = Right (UCCmd CEta)