Changeset 3372 for src/Pugs/Shell.hs
- Timestamp:
- 05/18/05 02:43:25 (4 years ago)
- svk:copy_cache_prev:
- 4945
- Files:
-
- 1 modified
-
src/Pugs/Shell.hs (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
-
src/Pugs/Shell.hs
r2725 r3372 30 30 , runOptShowPretty :: Bool} 31 31 32 -- read some input from the user32 -- | read some input from the user 33 33 -- parse the input and return the corresponding command 34 34 getCommand :: IO Command … … 37 37 doCommand input 38 38 39 doCommand :: Maybe String -> IO Command 39 40 doCommand Nothing = return CmdQuit 40 41 doCommand (Just line)
