diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/ghci.rst | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/users_guide/ghci.rst b/docs/users_guide/ghci.rst index d7f6b4b0eb..864ae80bd4 100644 --- a/docs/users_guide/ghci.rst +++ b/docs/users_guide/ghci.rst @@ -2045,6 +2045,10 @@ commonly used commands. available, or otherwise the module will be compiled to byte-code. Using the ``*`` prefix forces the module to be loaded as byte-code. + ⟨module⟩ may be a file path. A "``~``" symbol at the beginning of + ⟨module⟩ will be replaced by the contents of the environment variable + :envvar:`HOME`. + .. ghci-cmd:: :all-types List all types collected for expressions and (local) bindings |