Fix #8884.
authorRichard Eisenberg <eir@cis.upenn.edu>
Thu, 13 Mar 2014 19:48:56 +0000 (15:48 -0400)
committerRichard Eisenberg <eir@cis.upenn.edu>
Fri, 14 Mar 2014 03:34:56 +0000 (23:34 -0400)
commit8c5ea91d68cdc79b413e05f7dacfd052f5de8c64
tree14ccc99259286d23798d14646dcb521d5aa141a8
parent8ee6162e9a3377cd4c79f49b63f92046b0d5c708
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.
compiler/typecheck/TcSplice.lhs
testsuite/tests/th/T7477.stderr
testsuite/tests/th/T8884.hs [new file with mode: 0644]
testsuite/tests/th/T8884.stderr [new file with mode: 0644]
testsuite/tests/th/TH_reifyDecl1.stderr
testsuite/tests/th/all.T