Add test case for #8743

which only occurs when the instance being compiled is also present from
a .hs-boot file.
In deepSplitCprType_maybe, be more forgiving

the ConTag may be out of range (e.g. if the type constructor is imported
via SOURCE and we don't know any of its data constructors); just return
Nothing without complaining in that case. This fixes #8743.
Fix #8706, documenting that type operators are not promoted.
T8256 needs vector
Fix #8631.

This patch allows turning on ImpredicativeTypes while type-checking
the code generated by GeneralizedNewtypeDeriving. It does this
by adding a field ib_extensions to InstBindings, informing the
type-checker what extensions should be enabled while type-checking
the instance.
Issue an error for pattern synonyms defined in a local scope (#8757)

This also fixes the internal crash when using pattern synonyms
in GHCi (#8749)
Add test suite for #8757
double-negate test for Stage1Only to fix `make clean`

This was causing `utils/ghctags/dist-install` to not get removed
on `make clean` as `Stage1Only` was unset. So testing for `!= YES` is
less fragile than testing for `== NO` in this case.

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
Let `make distclean` remove `/{ch01,ch02,index}.html`

These files are created during `./configure` and therefore
by convention are expected to be removed by `make distclean`.

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
Move test case for #8631 to the correct directory.
Fix #8758 by assuming RankNTypes when checking GND code.
Test #6147, which was fixed with the roles commit.
Test #7481, which had already been fixed.
Fix #8759 by not panicking with TH and patsyns.

We should still have pattern synonyms in TH, though.
Apply changes relative to TH.Pred becoming a TH.Type's synonym (issue #7021)

Signed-off-by: Richard Eisenberg <eir@cis.upenn.edu>
Fix tests due to issue #7021

Signed-off-by: Richard Eisenberg <eir@cis.upenn.edu>
Make Pred a type synonym of Type (issue #7021)

In order to make any type as a Predicate in Template Haskell, as allowed by ConstraintKinds

Signed-off-by: Richard Eisenberg <eir@cis.upenn.edu>
Change type of equalityT to be more parallel with others.
Add documentation to why Pred has become a type synonym.
Refactor previous commit on fixing #7021.