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 /testsuite/tests/th/TH_Roles2.stderr | |
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 'testsuite/tests/th/TH_Roles2.stderr')
-rw-r--r-- | testsuite/tests/th/TH_Roles2.stderr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/th/TH_Roles2.stderr b/testsuite/tests/th/TH_Roles2.stderr index 8611b92691..891a792300 100644 --- a/testsuite/tests/th/TH_Roles2.stderr +++ b/testsuite/tests/th/TH_Roles2.stderr @@ -4,9 +4,9 @@ TYPE CONSTRUCTORS data T (a :: k) COERCION AXIOMS Dependent modules: [] -Dependent packages: [pretty-1.1.2.0, deepseq-1.4.1.1, - array-0.5.1.0, base-4.8.2.0, ghc-prim-0.4.0.0, integer-gmp-1.0.0.0, - template-haskell-2.11.0.0] +Dependent packages: [ghc-boot-0.0.0.0, pretty-<VERSION>, + deepseq-<VERSION>, array-<VERSION>, base-<VERSION>, ghc-prim-<VERSION>, + integer-<IMPL>-<VERSION>, template-haskell-<VERSION>] ==================== Typechecker ==================== |