diff options
| author | Ian Lynagh <igloo@earth.li> | 2007-02-27 12:57:31 +0000 |
|---|---|---|
| committer | Ian Lynagh <igloo@earth.li> | 2007-02-27 12:57:31 +0000 |
| commit | 500fb9ad138112e8145d9f125f8c6d013f449205 (patch) | |
| tree | 6457f1829c1db1ac94110f553daef3338974d342 | |
| parent | 25f44cb945936c2b9e42b8f28284d71a9b67652b (diff) | |
| download | haskell-500fb9ad138112e8145d9f125f8c6d013f449205.tar.gz | |
Doc typo
| -rw-r--r-- | docs/users_guide/glasgow_exts.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml index a8c91dff8f..4475af4bf5 100644 --- a/docs/users_guide/glasgow_exts.xml +++ b/docs/users_guide/glasgow_exts.xml @@ -1330,7 +1330,7 @@ data Counter a = forall self. NewCounter Here <literal>tag</literal> is a public field, with a well-typed selector function <literal>tag :: Counter a -> a</literal>. The <literal>self</literal> type is hidden from the outside; any attempt to apply <literal>_this</literal>, -<literal>_inc</literal> or <literal>_output</literal> as functions will raise a +<literal>_inc</literal> or <literal>_display</literal> as functions will raise a compile-time error. In other words, <emphasis>GHC defines a record selector function only for fields whose type does not mention the existentially-quantified variables</emphasis>. (This example used an underscore in the fields for which record selectors |