diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2021-06-17 10:44:05 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-06-22 02:34:49 -0400 |
| commit | 362f078ef980c735d29bfa037d2a907f0002aece (patch) | |
| tree | 49669a938e8809f445db815eaa5484f79615bc96 /docs | |
| parent | 595dfbb02fc8c15126140886150c99206d57906c (diff) | |
| download | haskell-362f078ef980c735d29bfa037d2a907f0002aece.tar.gz | |
Typos, minor comment fixes
- Remove fstName, sndName, fstIdKey, sndIdKey - no longer used,
removed from basicKnownKeyNames
- Remove breakpointId, breakpointCondId, opaqueTyCon, unknownTyCon -
they were used in the old implementation of the GHCi debugger
- Fix typos in comments
- Remove outdated comment in Lint.hs
- Use 'LitRubbish' instead of 'RubbishLit' for consistency
- Remove comment about subkinding - superseded by
Note [Kind Constraint and kind Type]
- Mention ticket ID in a linear types error message
- Fix formatting in using-warnings.rst and linear-types.rst
- Remove comment about 'Any' in Dynamic.hs - Dynamic
now uses Typeable + existential instead of Any
- Remove codeGen/should_compile/T13233.hs
This was added by accident, it is not used and T13233 is already in
should_fail
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 |