-- default opt_input is to read from stdin, but if this option is
-- set, we replace that with readFile.
set_input :: String -> Options -> IO Options
-- default opt_input is to read from stdin, but if this option is
-- set, we replace that with readFile.
set_input :: String -> Options -> IO Options