diff options
| author | RyanGlScott <ryan.gl.scott@gmail.com> | 2015-10-13 00:43:32 -0500 |
|---|---|---|
| committer | Austin Seipp <austin@well-typed.com> | 2015-10-13 00:43:42 -0500 |
| commit | d2f9972a35ce05ceb8a78893e433ef1df06f73ef (patch) | |
| tree | bc3cee0ec99aacd64298993fde590c017734c6e6 /docs/users_guide | |
| parent | 94ef79a766a1f58a5daadcf7dbb342812cd1a9bd (diff) | |
| download | haskell-d2f9972a35ce05ceb8a78893e433ef1df06f73ef.tar.gz | |
Make dataToQa aware of Data instances which use functions to implement toConstr
Trac #10796 exposes a way to make `template-haskell`'s `dataToQa` function
freak out if using a `Data` instance that produces a `Constr` (by means of
`toConstr`) using a function name instead of a data constructor name. While
such `Data` instances are somewhat questionable, they are nevertheless present
in popular libraries (e.g., `containers`), so we can at least make `dataToQa`
aware of their existence.
In order to properly distinguish strings which represent variables (as opposed
to data constructors), it was necessary to move functionality from `Lexeme` (in
`ghc`) to `GHC.Lexeme` in a new `ghc-boot` library (which was previously named
`bin-package-db`).
Reviewed By: goldfire, thomie
Differential Revision: https://phabricator.haskell.org/D1313
GHC Trac Issues: #10796
Diffstat (limited to 'docs/users_guide')
| -rw-r--r-- | docs/users_guide/7.12.1-notes.rst | 23 |
1 files changed, 18 insertions, 5 deletions
diff --git a/docs/users_guide/7.12.1-notes.rst b/docs/users_guide/7.12.1-notes.rst index 0e1d0a2563..14b0beff75 100644 --- a/docs/users_guide/7.12.1-notes.rst +++ b/docs/users_guide/7.12.1-notes.rst @@ -204,11 +204,6 @@ base this functionality was only available from ``GHC.Conc``. -bin-package-db -~~~~~~~~~~~~~~ - -- This is an internal package, and should not be used. - binary ~~~~~~ @@ -254,6 +249,24 @@ ghc strictness annotations as the user wrote them, whether from an imported module or not. +- Moved `startsVarSym`, `startsVarId`, `startsConSym`, `startsConId`, + `startsVarSymASCII`, and `isVarSymChar` from `Lexeme` to the `GHC.Lemexe` + module of the `ghc-boot` library. + +ghc-boot +~~~~~~~~ + +- This is an internal package. Use with caution. + +- This package was renamed from `bin-package-db` to reflect its new purpose + of containing intra-GHC functionality that needs to be shared across + multiple GHC boot libraries. + +- Added `GHC.Lexeme`, which contains functions for determining if a + character can be the first letter of a variable or data constructor in + Haskell, as defined by GHC. (These functions were moved from `Lexeme` + in `ghc`.) + ghc-prim ~~~~~~~~ |