diff options
Diffstat (limited to 'docs/users_guide/using.xml')
| -rw-r--r-- | docs/users_guide/using.xml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/users_guide/using.xml b/docs/users_guide/using.xml index 8b876204ec..fad30ac245 100644 --- a/docs/users_guide/using.xml +++ b/docs/users_guide/using.xml @@ -1175,6 +1175,11 @@ f foo = foo { x = 6 } typographical errors that turn into hard-to-find bugs, e.g., in the inadvertent capture of what would be a recursive call in <literal>f = ... let f = id in ... f ...</literal>.</para> + <para>The warning is suppressed for names beginning with an underscore. For example + <programlisting> + f x = do { _ignore <- this; _ignore <- that; return (the other) } + </programlisting> + </para> </listitem> </varlistentry> |