diff options
| -rw-r--r-- | docs/users_guide/7.12.1-notes.xml | 7 | ||||
| -rw-r--r-- | docs/users_guide/glasgow_exts.xml | 2 |
2 files changed, 5 insertions, 4 deletions
diff --git a/docs/users_guide/7.12.1-notes.xml b/docs/users_guide/7.12.1-notes.xml index b80db1d1f3..bdab650a86 100644 --- a/docs/users_guide/7.12.1-notes.xml +++ b/docs/users_guide/7.12.1-notes.xml @@ -72,9 +72,10 @@ </listitem> <listitem> <para> - GHC now supports visible type application, allowing programmers - to easily specify how type parameters should be instantiated - when calling a function. See <xref linkend="visible-type-application"/> for the details. + GHC now supports visible type application, allowing + programmers to easily specify how type parameters should be + instantiated when calling a function. See <xref + linkend="visible-type-application"/> for the details. </para> </listitem> <listitem> diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml index ec13dbfdbc..16d2024e8f 100644 --- a/docs/users_guide/glasgow_exts.xml +++ b/docs/users_guide/glasgow_exts.xml @@ -2622,7 +2622,7 @@ to allow the import or export of a data constructor without its parent type cons <para>The <option>-XTypeApplications</option> extension allows you to use <emphasis>visible type application</emphasis> in expressions. Here is an -example: <literal>show (read @Int 5)</literal>. The <literal>@Int</literal> +example: <literal>show (read @Int "5")</literal>. The <literal>@Int</literal> is the visible type application; it specifies the value of the type variable in <literal>read</literal>'s type.</para> |