diff options
| author | krasimir <krasimir@chalmers.se> | 2009-09-18 14:43:04 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-09-18 14:43:04 +0000 |
| commit | c3f0986275d31f36cc3a86716dfaddb7484da17b (patch) | |
| tree | e6140661fc9927b1a38068e4f9b006d4d567d089 /src | |
| parent | 2c86af2865d4a20c8eb039cd52bb77f80cec7e1b (diff) | |
command ai doesn't need typechecking from the shell
Diffstat (limited to 'src')
| -rw-r--r-- | src/GF/Command/Commands.hs | 3 |
1 files changed, 2 insertions, 1 deletions
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 |