GitLab

Its really a testsuite-framework bug that these mentions of 'opt' have
lingered so long.  They should have been rejected as a non-existent way.

Now instead of saying, e.g.
    namebase_if_compiler_lt('ghc','6.9', 'foo-6.8')
you say
    if_compiler_lt('ghc','6.9', namebase('foo-6.8'))

- GADT3 fails with equalities instead of GADT refinement due to a known bug

* Code of #1776 from aslatter@gmail.com

* Demonstrates a bug in TcUnify.tcSubFun found by Andrew Appleyard

This one actually generates completely bogus Core which doesn't pass CoreLint.

This is actually a regression introduced by one of the recent patches. It used
to work!

- This test fails with the overhauled rewrite rules.  This is (judging from
  -ddump-tc-trace) not because the new rules implementation goes wrong, but
  because the old implementation left out some improvement and hence passed
  this test by accident.

Can't let Tom and Manuel catch up!