Re-engineer Given flatten-skolems
[ghc.git] / testsuite / tests / indexed-types / should_fail / all.T
2017-05-26  Simon Peyton JonesRe-engineer Given flatten-skolems
2017-05-22  Bartosz NitkaTestcase for type family consistency checks
2017-03-14  Ryan ScottAllow associated types to pattern-match in non-class...
2017-02-26  Reid Bartontests: remove extra_files.py (#12223)
2017-02-22  Simon Peyton JonesTest Trac #13271
2017-02-06  Reid BartonDon't replace type family instances with the same LHS...
2017-01-22  Thomas MiedemaRemove clean_cmd and extra_clean usage from .T files
2016-11-25  Simon Peyton JonesTest Trac #12867
2016-11-25  Simon Peyton JonesAllow TyVars in TcTypes
2016-11-15  Simon MarlowMark T12041 as expect_broken with -DDEBUG (#12826)
2016-11-10  Ryan ScottPrevent GND from inferring an instance context for...
2016-10-10  Simon Peyton JonesMore tests for Trac #12522
2016-06-28  Thomas MiedemaTestsuite: run all indexed-types ways on ./validate...
2016-05-19  Simon Peyton JonesImprove pretty-printing of equalities
2016-04-19  Simon Peyton JonesTighten checking for associated type instances
2016-03-21  Richard EisenbergPrevent eager unification with type families.
2016-03-15  Richard EisenbergAllow eager unification with type families.
2015-11-27  Simon Peyton JonesCheck arity on default decl for assoc types
2015-09-21  Richard EisenbergPerform a validity check on assoc type defaults.
2015-07-13  Thomas MiedemaTestsuite: delete remaining only_compiler_types(['ghc...
2015-06-16  Ben Gamariusers_guide: Various spelling fixes
2015-06-16  Ben GamariLexer: Suggest adding 'let' on unexpected '=' token
2015-06-09  Thomas MiedemaTestsuite: delete expect_fail setups for ghc < 7.1
2015-04-24  Richard EisenbergTest case for #10141
2015-04-22  Edward Z. YangDon't use self {-# SOURCE #-} import in test-cases.
2015-03-23  Richard EisenbergDo proper depth checking in the flattener to avoid...
2014-12-23  Simon Peyton JonesEliminate so-called "silent superclass parameters"
2014-12-19  Richard EisenbergConsider equality contexts exotic, uninferrable by...
2014-12-18  Simon Peyton JonesFix wrong-kind-of-family error message (Trac #9896)
2014-11-22  Herbert Valerio... Revert "Test Trac #9318"
2014-11-21  Simon Peyton JonesTest T2239 actually succeeds without impredicativity...
2014-11-21  Simon Peyton JonesTest Trac #9318
2014-11-11  Simon Peyton JonesTest Trac #7862
2014-11-11  Simon Peyton JonesTest Trac #9662
2014-09-19  Simon Peyton JonesClean up Coercible handling, and interaction of data...
2014-09-04  Simon Peyton JonesAnother test for type function saturation
2014-08-25  Simon Peyton JonesCheck for un-saturated type family applications
2014-08-12  Richard EisenbergTest #9371 (indexed-types/should_fail/T9371)
2014-07-25  Simon Peyton JonesCheck for boxed tau types in the LHS of type family...
2014-06-12  Simon Peyton JonesFix elemLocalRdrEnv (Trac #9160)
2014-06-11  Richard EisenbergTest #9097.
2014-06-09  Simon Peyton JonesSuggest -fprint-explicit-kinds when only kind variables...
2014-06-09  Simon Peyton JonesCheck that an associated type mentions at least one...
2014-04-28  Simon Peyton JonesTest Trac #9036
2014-04-19  Herbert Valerio... Fold template-haskell.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold integer-gmp.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold integer-simple.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold base.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold ghc-prim.git into ghc.git (re #8545)
2014-01-12  Herbert Valerio... Fold testsuite.git into ghc.git (re #8545)
2013-11-12  Simon Peyton JonesTest Trac #8518
2013-10-03  Richard EisenbergNew tests for #8368.
2013-09-20  Simon Peyton JonesTest Trac #8129
2013-09-10  Simon Peyton JonesTest Trac #8227
2013-08-31  Ryan NewtonMerge branch 'master' into atomics
2013-08-29  Simon Peyton JonesTest Trac #8155
2013-08-28  Richard EisenbergWibble to tests from improving comments about apartness.
2013-08-05  Richard EisenbergAdded test cases for closed type families in .hs-boot...
2013-08-04  Richard EisenbergMerge branch 'master' of ssh://darcs.haskell.org/srv...
2013-08-04  Richard EisenbergAdd test case for #7938.
2013-06-21  Richard EisenbergUpdates to support closed type families.
2013-06-12  Simon Peyton JonesTest Trac #7967
2013-04-22  Simon Peyton JonesTest Trac #7786
2013-03-04  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/testsuite
2013-03-04  Amos RobinsonMerge branch 'master' of darcs.haskell.org/testsuite
2013-03-01  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/testsuite
2013-03-01  Simon Peyton JonesTest Trac #7729
2013-02-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/testsuite
2013-02-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/testsuite
2013-02-11  Ian LynaghRemove T5763
2013-02-11  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2013-02-11  Ian LynaghConvert more helper functions
2013-02-08  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/testsuite
2013-01-30  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/testsuite
2013-01-29  Simon Peyton JonesSimpleFail9 now passes, which is actually fine
2013-01-25  Ian LynaghRename a test that shared its name with another test
2013-01-16  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/testsuite
2013-01-09  Richard EisenbergAdd new testcase for Trac #7560.
2013-01-08  Johan TibellMerge branch 'master' of https://github.com/ghc/testsuite
2013-01-02  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/testsuite
2013-01-02  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/testsuite
2013-01-02  Simon Peyton JonesTest Trac #7536
2012-12-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/testsuite
2012-12-23  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/testsuite
2012-12-22  Richard EisenbergImplement overlapping type family instances.
2012-12-05  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/testsuite
2012-11-30  Johan TibellMerge branch 'master' of https://github.com/ghc/testsuite
2012-10-26  Simon Peyton JonesAnother test for Trac #7354
2012-10-26  Simon Peyton JonesTest Trac #7354
2012-10-11  Ian LynaghAdd expected output for T7194
2012-09-12  Johan TibellMerge branch 'master' of https://github.com/ghc/testsuite
2012-08-28  Simon Peyton JonesMerge ../../HEAD/testsuite
2012-08-28  Simon Peyton JonesTest Trac #7194
2012-07-16  Simon Peyton JonesMerge with HEAD
2012-07-14  Simon Peyton JonesTest Trac #5978 and #7010
2012-06-18  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//testsuite
2012-06-08  Dimitrios.VytiniotisMerge branch 'master' of darcs.haskell.org/testsuite
2012-06-08  Dimitrios.VytiniotisForgotten entry.
2012-06-05  Paolo CapriottiMerge remote-tracking branch 'origin/unboxed-tuple...
2012-05-25  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//testsuite
next