diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2015-08-08 14:26:50 -0400 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2015-08-08 14:26:50 -0400 |
| commit | b346f486811f6bdf8ac5cad16434f51bba64d65e (patch) | |
| tree | 75627b742077c468704f57a0cf60e723c5d5174e | |
| parent | 6d2bf73e8d207efcec503c75e996da6a8d85d2fa (diff) | |
| download | haskell-wip/type-app.tar.gz | |
User manual wibbleswip/type-app
| -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> |