Stable name type role
authorDavid Feuer <david.feuer@gmail.com>
Thu, 4 Oct 2018 17:52:23 +0000 (13:52 -0400)
committerBen Gamari <ben@smart-cactus.org>
Fri, 5 Oct 2018 02:27:54 +0000 (22:27 -0400)
commit228725747c3e493c36d6b6ad1034ca56581cb758
treee22ffb0f30a5955b4cf483c653ddaf5d1f8691b4
parente5013a567b230018b5d39b562ce21faf54740d04
Stable name type role

Make the `StableName#` parameter phantom:

There is actually never any reason to care about the type of
the underlying object of a `StableName#`. The underlying object
type shouldn't really even *be* a parameter. But at least we
can mark it as phantom.

Reviewers: hvr, bgamari, erikd, simonmar

Reviewed By: simonmar

Subscribers: ekmett, rwbarton, carter

Differential Revision: https://phabricator.haskell.org/D5117
compiler/prelude/TysPrim.hs
docs/users_guide/8.8.1-notes.rst
libraries/base/changelog.md