From 7fc19edc1a604c30159113404d02489142c84d42 Mon Sep 17 00:00:00 2001
From: simonpj <unknown>
Date: Fri, 8 Mar 2002 16:03:13 +0000
Subject: [PATCH] [project @ 2002-03-08 16:03:13 by simonpj] Documentation for
 more liberal class-method types

---
 ghc/docs/users_guide/glasgow_exts.sgml |   28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)

diff --git a/ghc/docs/users_guide/glasgow_exts.sgml b/ghc/docs/users_guide/glasgow_exts.sgml
index 1893765..e5202b8 100644
--- a/ghc/docs/users_guide/glasgow_exts.sgml
+++ b/ghc/docs/users_guide/glasgow_exts.sgml
@@ -39,6 +39,13 @@ Executive summary of our extensions:
 
 	<variablelist>
 	  <varlistentry>
+	    <term>Class method types:</term>
+	    <listitem>
+	      <para><xref LinkEnd="classs-method-types"></para>
+	    </listitem>
+	  </varlistentry>
+
+	  <varlistentry>
 	    <term>Multi-parameter type classes:</term>
 	    <listitem>
 	      <para><xref LinkEnd="multi-param-type-classes"></para>
@@ -628,6 +635,27 @@ qualifier list has just one element, a boolean expression.
 
   </sect1>
 
+<sect1 id="class-method-types">
+<title>Class method types
+</title>
+<para>
+Haskell 98 prohibits class method types to mention constraints on the
+class type variable, thus:
+<programlisting>
+  class Seq s a where
+    fromList :: [a] -> s a
+    elem     :: Eq a => a -> s a -> Bool
+</programlisting>
+The type of <literal>elem</literal> is illegal in Haskell 98, because it
+contains the constraint <literal>Eq a</literal>, constrains only the 
+class type variable (in this case <literal>a</literal>).
+</para>
+<para>
+With the <option>-fglasgow-exts</option> GHC lifts this restriction.
+</para>
+
+</sect1>
+
 <sect1 id="multi-param-type-classes">
 <title>Multi-parameter type classes
 </title>
-- 
1.7.10.4