diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/exts/linear_types.rst | 1 | ||||
| -rw-r--r-- | docs/users_guide/using-warnings.rst | 4 |
2 files changed, 3 insertions, 2 deletions
diff --git a/docs/users_guide/exts/linear_types.rst b/docs/users_guide/exts/linear_types.rst index 8029d0ad2f..5ed710d1c5 100644 --- a/docs/users_guide/exts/linear_types.rst +++ b/docs/users_guide/exts/linear_types.rst @@ -111,6 +111,7 @@ is no restriction on ``x``. It is also possible to define a multiplicity-polymorphic field: :: + data T3 a m where MkT3 :: a %m -> T3 a m diff --git a/docs/users_guide/using-warnings.rst b/docs/users_guide/using-warnings.rst index 840c66eef6..108928f210 100644 --- a/docs/users_guide/using-warnings.rst +++ b/docs/users_guide/using-warnings.rst @@ -844,11 +844,11 @@ of ``-W(no-)*``. :since: 9.2 Template Haskell quotes referring to local variables bound outside - of the quote are implicitly converted to use ``lift`. For example, + of the quote are implicitly converted to use ``lift``. For example, ``f x = [| reverse x |]`` becomes ``f x = [| reverse $(lift x) |])``. This flag issues a warning for every such implicit addition of ``lift``. This can be useful when debugging more complex staged programs, - where an implicit `lift`` can accidentally conceal a variable + where an implicit ``lift`` can accidentally conceal a variable used at a wrong stage. .. ghc-flag:: -Wimplicit-prelude |