From 2bb3229a84356e41e915c758a6cee27a64aa9a1f Mon Sep 17 00:00:00 2001 From: krasimir Date: Fri, 18 Sep 2009 14:43:04 +0000 Subject: [PATCH] command ai doesn't need typechecking from the shell --- src/GF/Command/Commands.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/GF/Command/Commands.hs b/src/GF/Command/Commands.hs index e3378ed1e..d14067ed1 100644 --- a/src/GF/Command/Commands.hs +++ b/src/GF/Command/Commands.hs @@ -652,7 +652,8 @@ allCommands cod env@(pgf, mos) = Map.fromList [ putStrLn ("Type: "++showType [] ty) return void _ -> do putStrLn "a single identifier or expression is expected from the command" - return void + return void, + needsTypeCheck = False }) ] where