[commit: ghc] master: docs/users_guide/glasgow_exts.rst: fix merge conflict (c5be5e2)
git at git.haskell.org
git at git.haskell.org
Mon May 2 10:29:36 UTC 2016
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/c5be5e2e9e2679318a84447c0443f04c98b60371/ghc
>---------------------------------------------------------------
commit c5be5e2e9e2679318a84447c0443f04c98b60371
Author: Sergei Trofimovich <siarheit at google.com>
Date: Mon May 2 11:24:23 2016 +0100
docs/users_guide/glasgow_exts.rst: fix merge conflict
Signed-off-by: Sergei Trofimovich <siarheit at google.com>
>---------------------------------------------------------------
c5be5e2e9e2679318a84447c0443f04c98b60371
docs/users_guide/glasgow_exts.rst | 9 ++++++++-
1 file changed, 8 insertions(+), 1 deletion(-)
diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst
index deffd01..863c054 100644
--- a/docs/users_guide/glasgow_exts.rst
+++ b/docs/users_guide/glasgow_exts.rst
@@ -4556,7 +4556,14 @@ Constrained class method types
.. ghc-flag:: -XConstrainedClassMethods
-@ -4562,7 +4562,20 @@ class type variable, thus: ::
+ Allows the definition of further constraints on individual class methods.
+
+Haskell 98 prohibits class method types to mention constraints on the
+class type variable, thus: ::
+
+ class Seq s a where
+ fromList :: [a] -> s a
+ elem :: Eq a => a -> s a -> Bool
The type of ``elem`` is illegal in Haskell 98, because it contains the
constraint ``Eq a``, which constrains only the class type variable (in
More information about the ghc-commits
mailing list