From ec200fdf0b021d109edbf7f077d93e44156a31a3 Mon Sep 17 00:00:00 2001 From: aarne Date: Sun, 8 Jun 2008 19:27:20 +0000 Subject: [PATCH] sorting command list in Commands --- src-3.0/GF/Command/Commands.hs | 24 ++++++++++++------------ 1 file changed, 12 insertions(+), 12 deletions(-) diff --git a/src-3.0/GF/Command/Commands.hs b/src-3.0/GF/Command/Commands.hs index def2c6f70..6aa19dfba 100644 --- a/src-3.0/GF/Command/Commands.hs +++ b/src-3.0/GF/Command/Commands.hs @@ -79,18 +79,6 @@ allCommands pgf = Map.fromAscList [ longname = "empty", synopsis = "Takes away all languages and resets all global flags." }), - ("ph", emptyCommandInfo { - longname = "print_history", - synopsis = "print readline history", - explanation = "Prints the commands issued during the GF session.\n"++ - "The result is readable by the eh command.\n"++ - "example:\n"++ - " ph | wf foo.hist -- save the history into a file" - }), - ("q", emptyCommandInfo { - longname = "quit", - synopsis = "exit GF interpreter" - }), ("gr", emptyCommandInfo { longname = "generate_random", synopsis = "generates a list of random trees, by default one tree", @@ -176,6 +164,18 @@ allCommands pgf = Map.fromAscList [ "source.", exec = \opts _ -> return $ fromString $ prGrammar opts, flags = ["cat","lang","printer"] + }), + ("ph", emptyCommandInfo { + longname = "print_history", + synopsis = "print readline history", + explanation = "Prints the commands issued during the GF session.\n"++ + "The result is readable by the eh command.\n"++ + "example:\n"++ + " ph | wf foo.hist -- save the history into a file" + }), + ("q", emptyCommandInfo { + longname = "quit", + synopsis = "exit GF interpreter" }) ] where