Рассмотрим shell :: String -> CreateProcess. Например:

Prelude System.IO System.Process> shell "pwd"
CreateProcess {cmdspec = ShellCommand "pwd", cwd = Nothing, env = Nothing, std_in = Inherit, std_out = Inherit, std_err = Inherit, close_fds = False, create_group = False, delegate_ctlc = False, detach_console = False, create_new_console = False, new_session = False, child_group = Nothing, child_user = Nothing, use_process_jobs = False}

Я пытаюсь изменить аргументы записи CreateProcess, но получаю ошибку REPL:

Prelude System.IO System.Process> shell "pwd" { cwd = "/home" }

<interactive>:7:7: error:
    • Couldn't match type ‘CreateProcess’ with ‘[Char]’
      Expected type: String
        Actual type: CreateProcess
    • In the first argument of ‘shell’, namely ‘"pwd" {cwd = "/home"}’
      In the expression: shell "pwd" {cwd = "/home"}
      In an equation for ‘it’: it = shell "pwd" {cwd = "/home"}

<interactive>:7:21: error:
    • Couldn't match expected type ‘Maybe FilePath’
                  with actual type ‘[Char]’
    • In the ‘cwd’ field of a record
      In the first argument of ‘shell’, namely ‘"pwd" {cwd = "/home"}’
      In the expression: shell "pwd" {cwd = "/home"}
1
George 6 Окт 2019 в 20:57

1 ответ

Лучший ответ

В вашем коде есть две проблемы.

  1. cwd имеет тип Maybe String, а не просто String, вам нужно явно использовать конструктор Just} Just}.
  2. По умолчанию {} присоединяются к ближайшему аргументу, в данном случае это строка "cwd". Однако вы хотите указать поле результата вызова функции.

Написание вашего кода, как это работает для меня:

ghci> (shell "cwd") { cwd = Just "/home" }
CreateProcess 
    { cmdspec = ShellCommand "cwd" 
    , cwd = Just "/home" 
    , env = Nothing
    , std_in = Inherit
    , std_out = Inherit
    , std_err = Inherit
    , close_fds = False
    , create_group = False
    , delegate_ctlc = False
    , detach_console = False
    , create_new_console = False
    , new_session = False
    , child_group = Nothing
    , child_user = Nothing
    , use_process_jobs = False
    } 
3
Shersh 6 Окт 2019 в 18:19