diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-06-08 19:27:20 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-06-08 19:27:20 +0000 |
| commit | ec200fdf0b021d109edbf7f077d93e44156a31a3 (patch) | |
| tree | b9f744ac438f10fa056003dd1bc701d18b3f14e9 /src-3.0/GF/Command/Commands.hs | |
| parent | 4268d6219ba27ab724ed938d38327b54b0adc1ed (diff) | |
sorting command list in Commands
Diffstat (limited to 'src-3.0/GF/Command/Commands.hs')
| -rw-r--r-- | src-3.0/GF/Command/Commands.hs | 24 |
1 files 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 |
