diff options
Diffstat (limited to 'docs/users_guide/exts/flexible_contexts_signature.rst')
| -rw-r--r-- | docs/users_guide/exts/flexible_contexts_signature.rst | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/docs/users_guide/exts/flexible_contexts_signature.rst b/docs/users_guide/exts/flexible_contexts_signature.rst deleted file mode 100644 index cd2bd2866b..0000000000 --- a/docs/users_guide/exts/flexible_contexts_signature.rst +++ /dev/null @@ -1,19 +0,0 @@ -.. _flexible-contexts: - -The context of a type signature -------------------------------- - -The :extension:`FlexibleContexts` extension lifts the Haskell 98 restriction that -the type-class constraints in a type signature must have the form *(class -type-variable)* or *(class (type-variable type1 type2 ... typen))*. With -:extension:`FlexibleContexts` these type signatures are perfectly okay -:: - - g :: Eq [a] => ... - g :: Ord (T a ()) => ... - -The flag :extension:`FlexibleContexts` also lifts the corresponding restriction -on class declarations (:ref:`superclass-rules`) and instance -declarations (:ref:`instance-rules`). - - |