diff options
| author | Oleg Grenrus <oleg.grenrus@iki.fi> | 2017-02-01 22:49:17 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-02-01 23:37:47 -0500 |
| commit | 1fcede43d2b30f33b7505e25eb6b1f321be0407f (patch) | |
| tree | 9c206c94aa567b0a8d53cc65156666c26030d955 /docs | |
| parent | f5b275a239d2554c4da0b7621211642bf3b10650 (diff) | |
| download | haskell-1fcede43d2b30f33b7505e25eb6b1f321be0407f.tar.gz | |
Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
Reviewers: dfeuer, austin, hvr, bgamari
Reviewed By: bgamari
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D3024
GHC Trac Issues: #13181
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/8.2.1-notes.rst | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/users_guide/8.2.1-notes.rst b/docs/users_guide/8.2.1-notes.rst index 3b04975d87..f81c3995e0 100644 --- a/docs/users_guide/8.2.1-notes.rst +++ b/docs/users_guide/8.2.1-notes.rst @@ -291,6 +291,10 @@ See ``changelog.md`` in the ``base`` package for full release notes. - Add ``type family AppendSymbol (m :: Symbol) (n :: Symbol) :: Symbol`` to ``GHC.TypeLits`` +- Add ``GHC.TypeNats`` module with ``Natural``-based ``KnownNat``. The ``Nat`` + operations in ``GHC.TypeLits`` are a thin compatibility layer on top. + Note: the ``KnownNat`` evidence is changed from an ``Integer`` to a ``Natural``. + binary ~~~~~~ |