Commit cf566330 authored by Stefan Holdermans's avatar Stefan Holdermans Committed by Marge Bot

Update documentation for GHCi :script

This patch adds the fixes that allow for file names containing spaces to
be passed to GHCi's ':script' command to the release notes for 8.12 and
expands the user-guide documentation for ':script' by mentioning how
such file names can be passed.

Related to #18027.
parent a0b79e1b
Pipeline #19601 passed with stages
in 719 minutes and 9 seconds
......@@ -100,6 +100,9 @@ Compiler
GHCi
~~~~
- The ``:script`` command now allows for file names that contain spaces to
passed as arguments: either by enclosing the file names in double quotes or by
escaping spaces in file names with a backslash. (#18027)
Runtime system
~~~~~~~~~~~~~~
......
......@@ -2695,9 +2695,11 @@ commonly used commands.
.. ghci-cmd:: :script; [⟨n⟩] ⟨filename⟩
Executes the lines of a file as a series of GHCi commands. This
command is compatible with multiline statements as set by
:ghci-cmd:`:set +m`
Executes the lines of a file as a series of GHCi commands. The syntax for
file-name arguments respects shell quoting rules, i.e., file names
containing spaces can be enclosed in double quotes or with spaces escaped
with a backslash. This command is compatible with multiline statements as
set by :ghci-cmd:`:set +m`
.. ghci-cmd:: :set; [⟨option⟩ ...]
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment