Clarify parsing infelicity.
authorRichard Eisenberg <eir@cis.upenn.edu>
Sat, 19 Sep 2015 20:44:29 +0000 (16:44 -0400)
committerRichard Eisenberg <eir@cis.upenn.edu>
Mon, 21 Sep 2015 01:39:16 +0000 (21:39 -0400)
This fixes #10855.

docs/users_guide/bugs.xml

index 1b4d5c9..bff2bcf 100644 (file)
@@ -101,13 +101,25 @@ main = do args &lt;- getArgs
 <programlisting>
     (let x = 42 in x == 42 == True)</programlisting></para>
        </listitem>
+
+       <listitem>
+         <para>The Haskell Report allows you to put a unary
+         <literal>-</literal> preceding certain expressions headed by
+         keywords, allowing constructs like <literal>- case x of
+         ...</literal> or <literal>- do { ... }</literal>. GHC does
+         not allow this. Instead, unary <literal>-</literal> is
+         allowed before only expressions that could potentially
+         be applied as a function.
+         </para>
+       </listitem>
+
       </itemizedlist>
     </sect3>
 
   <sect3 id="infelicities-exprs-pats">
       <title>Expressions and patterns</title>
 
-    <para>In its default mode, GHC makes some programs slightly more defined 
+    <para>In its default mode, GHC makes some programs slightly more defined
     than they should be. For example, consider
     <programlisting>
 f :: [a] -> b -> b