diff options
| author | hallgren <hallgren@chalmers.se> | 2015-08-13 15:30:23 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2015-08-13 15:30:23 +0000 |
| commit | 2df2d4a6834dd2d6347eaf5a5c46b02263ca0398 (patch) | |
| tree | ba50cda17e80ada250e2c06da9c074170725a259 /src/compiler/GF/Command/Interpreter.hs | |
| parent | 87e64a804cbe5848d20f0555dedae42e1516cbbc (diff) | |
GF Shell: "ph | wf -file=foo.gfs" now works as advertised
The print_history command was among the commands implemented in an ad-hoc
way instead of being handled by the command line interpreter, which means
it could not be used in a pipe, as in the example in the help info.
The refactoring in the previous patch made this old bug easy to fix.
Also fixed a bug in the "empty" command, introduced when moving the PGF from
CommandEnv to GFEnv.
TODO: fix the undocumented eh command. A comment in the help info for
print_history, and some commented out old code, suggest that eh means
"execute_history", but at present it does nothing...
Diffstat (limited to 'src/compiler/GF/Command/Interpreter.hs')
0 files changed, 0 insertions, 0 deletions