bugfix in the ai command

1 files changed, 8 insertions, 5 deletions

diff --git a/src/GF/Command/Commands.hs b/src/GF/Command/Commands.hs
index 282bd3066..584535279 100644
--- a/src/GF/Command/Commands.hs
+++ b/src/GF/Command/Commands.hs
@@ -615,12 +615,15 @@ allCommands cod env@(pgf, mos) = Map.fromList [
      }),
   ("ai", emptyCommandInfo {
      longname = "abstract_info",
-     syntax = "ai IDENTIFIER",
-     synopsis = "provides an information about a function or a category from the abstract syntax",
+     syntax = "ai IDENTIFIER  or  ai EXPR",
+     synopsis = "Provides an information about a function, an expression or a category from the abstract syntax",
      explanation = unlines [
-       "The command has one argument which is either function or a category defined in",
-       "the abstract syntax of the current grammar. If the argument is a function then",
-       "its type is printed out. If it is a category then the category definition is printed"
+       "The command has one argument which is either function, expression or",
+       "a category defined in the abstract syntax of the current grammar. ",
+       "If the argument is a function then ?its type is printed out.",
+       "If it is a category then the category definition is printed.",
+       "If a whole expression is given it prints the expression with refined",
+       "metavariables and the type of the expression."
        ],
      exec = \opts arg -> do
        case arg of