command ai doesn't need typechecking from the shell

This commit is contained in:
krasimir
2009-09-18 14:43:04 +00:00
parent e8d8f5dfe1
commit 2bb3229a84

View File

@@ -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