mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-23 19:42:50 -06:00
unforgetting new env after i command
This commit is contained in:
@@ -47,7 +47,7 @@ loop opts gfenv0 = do
|
|||||||
Ok (opts',files) -> importInEnv gfenv (addOptions opts opts') files
|
Ok (opts',files) -> importInEnv gfenv (addOptions opts opts') files
|
||||||
Bad err -> do putStrLn $ "Command parse error: " ++ err
|
Bad err -> do putStrLn $ "Command parse error: " ++ err
|
||||||
return gfenv
|
return gfenv
|
||||||
loopNewCPU gfenv
|
loopNewCPU gfenv'
|
||||||
|
|
||||||
-- other special commands, working on GFEnv
|
-- other special commands, working on GFEnv
|
||||||
"e":_ -> loopNewCPU $ gfenv {commandenv=env{multigrammar=emptyPGF}}
|
"e":_ -> loopNewCPU $ gfenv {commandenv=env{multigrammar=emptyPGF}}
|
||||||
|
|||||||
Reference in New Issue
Block a user