diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2014-03-13 15:48:56 -0400 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2014-03-13 23:34:56 -0400 |
| commit | 8c5ea91d68cdc79b413e05f7dacfd052f5de8c64 (patch) | |
| tree | 14ccc99259286d23798d14646dcb521d5aa141a8 /testsuite/tests/th/TH_reifyDecl1.stderr | |
| parent | 8ee6162e9a3377cd4c79f49b63f92046b0d5c708 (diff) | |
| download | haskell-8c5ea91d68cdc79b413e05f7dacfd052f5de8c64.tar.gz | |
Fix #8884.
There were two unrelated errors fixed here:
1) Make sure that only the *result kind* is reified when reifying
a type family. Previously, the whole kind was reified, which
defies the TH spec.
2) Omit kind patterns in equations.
Diffstat (limited to 'testsuite/tests/th/TH_reifyDecl1.stderr')
| -rw-r--r-- | testsuite/tests/th/TH_reifyDecl1.stderr | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/testsuite/tests/th/TH_reifyDecl1.stderr b/testsuite/tests/th/TH_reifyDecl1.stderr index 82a4f572ce..9c3b6dad26 100644 --- a/testsuite/tests/th/TH_reifyDecl1.stderr +++ b/testsuite/tests/th/TH_reifyDecl1.stderr @@ -21,15 +21,15 @@ class TH_reifyDecl1.C2 a_0 instance TH_reifyDecl1.C2 GHC.Types.Int class TH_reifyDecl1.C3 a_0 instance TH_reifyDecl1.C3 GHC.Types.Int -type family TH_reifyDecl1.AT1 a_0 :: * -> * +type family TH_reifyDecl1.AT1 a_0 :: * type instance TH_reifyDecl1.AT1 GHC.Types.Int = GHC.Types.Bool -data family TH_reifyDecl1.AT2 a_0 :: * -> * +data family TH_reifyDecl1.AT2 a_0 :: * data instance TH_reifyDecl1.AT2 GHC.Types.Int = TH_reifyDecl1.AT2Int -type family TH_reifyDecl1.TF1 a_0 :: * -> * -type family TH_reifyDecl1.TF2 a_0 :: * -> * +type family TH_reifyDecl1.TF1 a_0 :: * +type family TH_reifyDecl1.TF2 a_0 :: * type instance TH_reifyDecl1.TF2 GHC.Types.Bool = GHC.Types.Bool -data family TH_reifyDecl1.DF1 a_0 :: * -> * -data family TH_reifyDecl1.DF2 a_0 :: * -> * +data family TH_reifyDecl1.DF1 a_0 :: * +data family TH_reifyDecl1.DF2 a_0 :: * data instance TH_reifyDecl1.DF2 GHC.Types.Bool = TH_reifyDecl1.DBool |