diff options
| -rw-r--r-- | docs/users_guide/ghci.xml | 17 |
1 files changed, 14 insertions, 3 deletions
diff --git a/docs/users_guide/ghci.xml b/docs/users_guide/ghci.xml index f3e93a3ce5..93ab62bf29 100644 --- a/docs/users_guide/ghci.xml +++ b/docs/users_guide/ghci.xml @@ -2808,11 +2808,22 @@ bar <varlistentry> <term> - <literal>:show languages</literal> - <indexterm><primary><literal>:show languages</literal></primary></indexterm> + <literal>:show language</literal> + <indexterm><primary><literal>:show language</literal></primary></indexterm> </term> <listitem> - <para>Show the currently active language flags.</para> + <para>Show the currently active language flags for source files.</para> + </listitem> + </varlistentry> + + <varlistentry> + <term> + <literal>:showi language</literal> + <indexterm><primary><literal>:showi language</literal></primary></indexterm> + </term> + <listitem> + <para>Show the currently active language flags for + expressions typed at the prompt (see also <literal>:seti</literal>).</para> </listitem> </varlistentry> |