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/Interactive2.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/Interactive2.hs')
| -rw-r--r-- | src/compiler/GF/Interactive2.hs | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/compiler/GF/Interactive2.hs b/src/compiler/GF/Interactive2.hs index abb4f7ddf..d914c0f8b 100644 --- a/src/compiler/GF/Interactive2.hs +++ b/src/compiler/GF/Interactive2.hs @@ -39,7 +39,6 @@ import qualified GF.System.Signal as IO(runInterruptibly) import GF.Server(server) #endif -} -import GF.System.Console(changeConsoleEncoding) import GF.Command.Messages(welcome) @@ -131,7 +130,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 @@ -214,12 +212,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) |