diff options
Diffstat (limited to 'src/GF/Shell/ShellCommands.hs')
| -rw-r--r-- | src/GF/Shell/ShellCommands.hs | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/GF/Shell/ShellCommands.hs b/src/GF/Shell/ShellCommands.hs index a3a0139ea..5c35e3c31 100644 --- a/src/GF/Shell/ShellCommands.hs +++ b/src/GF/Shell/ShellCommands.hs @@ -97,8 +97,12 @@ data Command = -- to isolate the commands that are executed on top level data ImpureCommand = - ICQuit | ICExecuteHistory FilePath | ICEarlierCommand Int - | ICEditSession | ICTranslateSession + ICQuit + | ICExecuteHistory FilePath + | ICEarlierCommand Int + | ICEditSession + | ICTranslateSession + | ICReload type CommandOpt = (Command, Options) |