[project @ 2001-08-23 20:19:16 by qrczak]

Don't say that GHC doesn't do fixity resolution on the left hand side
of a binding before deciding which symbol is the function symbol.
This has been fixed.

diff --git a/ghc/docs/users_guide/vs_haskell.sgml b/ghc/docs/users_guide/vs_haskell.sgml
index afc642f..e7e922a 100644 (file)
--- a/ghc/docs/users_guide/vs_haskell.sgml
+++ b/ghc/docs/users_guide/vs_haskell.sgml
@@ -44,21 +44,6 @@
        
       <itemizedlist>
        <listitem>
-         <para>GHC doesn't do fixity resolution on the left hand side
-         of a binding before deciding which symbol is the function
-         symbol.  For example, the following fails, because GHC makes
-         the assumption that the function symbol is
-         <literal>|-</literal>:</para>
-<programlisting>
-infix 5 |- 
-infix 9 :=
-
-data Equal = Char := Int
-
-0 |- x:=y = 1 |- x:=y      -- XXX fails here</programlisting>
-       </listitem>
-
-       <listitem>
          <para>GHC doesn't do fixity resolution in expressions during
          parsing.  For example, according to the Haskell report, the
          following expression is legal Haskell: