mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-08 02:32:50 -06:00
now in the command shell the primary type in the pipe is Expr not Tree. This makes the pt -compute and pt -typecheck more interesting
This commit is contained in:
@@ -141,7 +141,7 @@ loop opts gfenv0 = do
|
||||
_ -> putStrLn "command definition not parsed" >> loopNewCPU gfenv
|
||||
|
||||
"dt":f:ws -> do
|
||||
case readTree (unwords ws) of
|
||||
case readExpr (unwords ws) of
|
||||
Just exp -> loopNewCPU $ gfenv {
|
||||
commandenv = env {
|
||||
expmacros = Map.insert f exp (expmacros env)
|
||||
|
||||
Reference in New Issue
Block a user