Commit c5be5e2e authored by Sergei Trofimovich's avatar Sergei Trofimovich

docs/users_guide/glasgow_exts.rst: fix merge conflict

Signed-off-by: default avatarSergei Trofimovich <siarheit@google.com>
parent 81d8a23e
......@@ -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
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment