[commit: ghc] overlapping-tyfams: Typos (c286f62)

[Richard Eisenberg]

Repository : http://darcs.haskell.org/ghc.git/

On branch  : overlapping-tyfams

https://github.com/ghc/ghc/commit/c286f626c0569cedd30896259e69672f36320e75

>---------------------------------------------------------------

commit c286f626c0569cedd30896259e69672f36320e75
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Fri Jun 21 13:51:29 2013 +0100

    Typos

>---------------------------------------------------------------

 docs/users_guide/glasgow_exts.xml | 11 +----------
 1 file changed, 1 insertion(+), 10 deletions(-)

diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml
index 2796541..710efbb 100644
--- a/docs/users_guide/glasgow_exts.xml
+++ b/docs/users_guide/glasgow_exts.xml
@@ -5142,11 +5142,6 @@ type instance Elem [e] = e
     </para>
 
     <para>
-      Branched instances and unbranched instances may be mixed freely for the same
-      type family.
-    </para>
-
-    <para>
       Type family instance declarations are only legitimate when an
       appropriate family declaration is in scope - just like class instances
       require the class declaration to be visible. Moreover, each instance
@@ -5158,7 +5153,7 @@ type instance Elem [e] = e
       all saturated vanilla type synonyms, no synonyms, except family synonyms
       may remain.
     </para>
-  </sect3>2
+  </sect3>
 
   <sect3 id="closed-type-families">
     <title>Closed type families</title>
@@ -5424,10 +5419,6 @@ instance GMapKey Flob where
         the free indexed parameter is of a kind with a finite number of alternatives
         (unlike <literal>*</literal>).
       </para>
-
-      <para>
-	Branched associated type instances are not currently supported.
-      </para>
     </sect3>
 
     <sect3 id="assoc-decl-defs">