Как повторить последнюю команду: load в GHCi? - PullRequest
0 голосов
/ 09 сентября 2018

Страница справки GHCi сообщает, что я могу ввести один :, чтобы повторить предыдущую команду.

Но, похоже, это работает не со всеми командами. Например, когда я вызываю страницу справки с :?, я могу показать ее снова, просто введя :. Но когда я загружаю файл с :l myfile, более поздний ввод только : фактически выгрузит мой файл.

Я что-то не так делаю или неправильно понял страницу справки?

1 Ответ

0 голосов
/ 09 сентября 2018

По предположению: : повторяет часть :l, но не часть :l myfile.Вероятно, это упущение или ошибка.

Между тем, :r, сокращение от :reload, снова загрузит ваш файл.

...