mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-22 17:42:51 -06:00
command ai doesn't need typechecking from the shell
This commit is contained in:
@@ -652,7 +652,8 @@ allCommands cod env@(pgf, mos) = Map.fromList [
|
|||||||
putStrLn ("Type: "++showType [] ty)
|
putStrLn ("Type: "++showType [] ty)
|
||||||
return void
|
return void
|
||||||
_ -> do putStrLn "a single identifier or expression is expected from the command"
|
_ -> do putStrLn "a single identifier or expression is expected from the command"
|
||||||
return void
|
return void,
|
||||||
|
needsTypeCheck = False
|
||||||
})
|
})
|
||||||
]
|
]
|
||||||
where
|
where
|
||||||
|
|||||||
Reference in New Issue
Block a user