diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2016-01-09 12:36:07 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-01-09 17:24:22 +0100 |
| commit | 86d06571f5ec4b9bfa24663c47adcbf3dc406480 (patch) | |
| tree | de58a6121b422a9a125a9a98d02155722abd4e98 | |
| parent | a6c3289d0aa0c520656e918dfc9f152548d940a4 (diff) | |
| download | haskell-86d06571f5ec4b9bfa24663c47adcbf3dc406480.tar.gz | |
users-guide: A few fixes
| -rw-r--r-- | docs/users_guide/glasgow_exts.rst | 8 | ||||
| -rw-r--r-- | docs/users_guide/using-warnings.rst | 4 |
2 files changed, 11 insertions, 1 deletions
diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst index 9b5777047b..6a7dd2c5c3 100644 --- a/docs/users_guide/glasgow_exts.rst +++ b/docs/users_guide/glasgow_exts.rst @@ -2546,7 +2546,7 @@ Existentially quantified data constructors .. ghc-flag:: -XExistentialQuantification - Allow the use of ``forall`` syntax. + Allow existentially quantified type variables in types. The idea of using existential quantification in data type declarations was suggested by Perry, and implemented in Hope+ (Nigel Perry, *The @@ -4958,6 +4958,8 @@ Relaxed rules for the instance head .. ghc-flag:: -XFlexibleInstances + :implies: :ghc-flag:`-XTypeSynonymInstances` + Allow definition of type class instances with arbitrary nested types in the instance head. @@ -8443,6 +8445,8 @@ Lexically scoped type variables .. ghc-flag:: -XScopedTypeVariables + :implies: :ghc-flag:`-XRelaxedPolyRec` + Enable lexical scoping of type variables explicitly introduced with ``forall``. @@ -12517,6 +12521,8 @@ Strict-by-default pattern bindings .. ghc-flag:: -XStrict + :implies: :ghc-flag:`-XStrictData` + Make bindings in the current module strict by default. Informally the ``Strict`` language extension switches functions, data diff --git a/docs/users_guide/using-warnings.rst b/docs/users_guide/using-warnings.rst index 7c9c944a4a..0ba36aa409 100644 --- a/docs/users_guide/using-warnings.rst +++ b/docs/users_guide/using-warnings.rst @@ -105,6 +105,8 @@ of ``-W(no-)*``. .. ghc-flag:: -fdefer-type-errors + :implies: :ghc-flag:`-fdefer-typed-holes` + Defer as many type errors as possible until runtime. At compile time you get a warning (instead of an error). At runtime, if you use a value that depends on a type error, you get a runtime error; but you @@ -492,6 +494,8 @@ of ``-W(no-)*``. .. ghc-flag:: -ffull-guard-reasoning + :implies: :ghc-flag:`-Wno-too-many-guards` + .. index:: single: guard reasoning, warning |