diff options
| author | hallgren <hallgren@chalmers.se> | 2015-08-12 15:00:03 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2015-08-12 15:00:03 +0000 |
| commit | d860a921e061ca21e7af8c1c42f5bbca4bd5c988 (patch) | |
| tree | a7c0e0c2b3b8678dbf507846797e10695b06204f /src/compiler/GF/Interactive.hs | |
| parent | b536b025345c1d144fb6727d41bd96684901bf1f (diff) | |
GF Shell: turn set_encoding into a common command
Implemented in GF.Command.CommonCommands instead of GF.Interactive &
GF.Interactive2.
Diffstat (limited to 'src/compiler/GF/Interactive.hs')
| -rw-r--r-- | src/compiler/GF/Interactive.hs | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/compiler/GF/Interactive.hs b/src/compiler/GF/Interactive.hs index 216c5f1e2..6e8cc6330 100644 --- a/src/compiler/GF/Interactive.hs +++ b/src/compiler/GF/Interactive.hs @@ -38,7 +38,6 @@ import qualified GF.System.Signal as IO(runInterruptibly) #ifdef SERVER_MODE import GF.Server(server) #endif -import GF.System.Console(changeConsoleEncoding) import GF.Command.Messages(welcome) @@ -130,7 +129,6 @@ execute1 opts gfenv0 s0 = "dt":ws -> define_tree ws "ph":_ -> print_history "r" :_ -> reload_last - "se":ws -> set_encoding ws -- ordinary commands, working on CommandEnv _ -> do interpretCommandLine env s0 continue gfenv @@ -210,12 +208,6 @@ execute1 opts gfenv0 s0 = putStrLn $ "no import in history" continue gfenv - set_encoding [c] = - do let cod = renameEncoding c - restricted $ changeConsoleEncoding cod - continue gfenv - set_encoding _ = putStrLn "se command not parsed" >> continue gfenv - printException e = maybe (print e) (putStrLn . ioErrorText) (fromException e) |