mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-21 09:02:50 -06:00
Fix bug where shell commands were ignored, introduced by #71
This commit is contained in:
@@ -134,8 +134,7 @@ execute1' s0 =
|
|||||||
"dt":ws -> define_tree ws
|
"dt":ws -> define_tree ws
|
||||||
-- ordinary commands
|
-- ordinary commands
|
||||||
_ -> do env <- gets commandenv
|
_ -> do env <- gets commandenv
|
||||||
-- () env s0
|
interpretCommandLine env s0
|
||||||
-- interpretCommandLine env s0
|
|
||||||
continue
|
continue
|
||||||
where
|
where
|
||||||
continue,stop :: ShellM Bool
|
continue,stop :: ShellM Bool
|
||||||
|
|||||||
Reference in New Issue
Block a user