xecute :: Config -> IO ()
execute config =
  do when (isVerbose config)
          (printSearchPaths paths)
     FrontEnd.withPreProcessedFile paths (inputFilePath config) $ \resultFilePath ->
       Output.withHandle (outputFilePath config) $ \h ->
         do contents <- readFile resultFilePath
            hPutStr h contents
  where
    paths = searchPaths config

execute :: Config -> IO ()
execute config =
  do when (isVerbose config)
          (printSearchPaths paths)
     FrontEnd.withPreProcessedFile paths (inputFilePath config) $ \resultFilePath ->
       Output.withHandle (outputFilePath config) $ \h ->
         do contents <- readFile resultFilePath
            hPutStr h contents
  where
    paths = searchPaths config
execute config =
  do when (isVerbose config)
          (printSearchPaths paths)
     FrontEnd.withPreProcessedFile paths (inputFilePath config) $ \resultFilePath ->
       Output.withHandle (outputFilePath config) $ \h ->
         do contents <- readFile resultFilePath
            hPutStr h contents
  where
    paths = searchPaths config