summaryrefslogtreecommitdiff
path: root/testsuite/tests/dependent/should_compile/all.T
Commit message (Expand)AuthorAgeFilesLines
* Don't zap to Any; error insteadRichard Eisenberg2020-01-121-4/+0
* Fix bogus type of case expressionwip/T17056Simon Peyton Jones2019-09-201-1/+1
* Testsuite tweaks and refactoringÖmer Sinan Ağacan2019-07-091-1/+1
* testsuite: Add assertions that way lists are in fact listsBen Gamari2019-06-151-7/+7
* testsuite: Mark T13910 as broken in optasmBen Gamari2019-06-121-1/+1
* Add regression test for #16347Ryan Scott2019-03-121-1/+1
* Stop inferring over-polymorphic kindsSimon Peyton Jones2019-03-091-0/+2
* Fix #16391 by using occCheckExpand in TcValidityRyan Scott2019-03-071-0/+1
* Visible dependent quantificationRyan Scott2019-03-011-0/+2
* Treat kind/type variables identically, demolish FKTVVladislav Zavialov2019-02-271-1/+0
* Fix #14729 by making the normaliser homogeneousRichard Eisenberg2019-02-081-0/+2
* testsuite: Use makefile_testBen Gamari2019-01-301-2/+1
* Revert "Batch merge"Ben Gamari2019-01-301-1/+2
* Batch mergeBen Gamari2019-01-301-2/+1
* Add a test case for #15829Ryan Scott2018-10-291-0/+1
* Test #15076 in dependent/should_compile/T15076*Richard Eisenberg2018-10-291-0/+3
* Finish fix for #14880.Tobias Dammers2018-10-281-0/+5
* Fix #15725 with an extra SymRyan Scott2018-10-151-0/+1
* Add regression test for #15666Ryan Scott2018-09-251-0/+1
* Remove decideKindGeneralisationPlanRichard Eisenberg2018-08-021-0/+1
* Fix some casts.Richard Eisenberg2018-07-231-0/+2
* Provide a better error message for unpromotable data constructor contextsRyan Scott2018-06-171-1/+2
* Warn about implicit kind variables with -WcompatVladislav Zavialov2018-06-161-0/+1
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-141-0/+1
* Remove ad-hoc special case in occAnalSimon Peyton Jones2018-06-071-1/+1
* Another batch of './validation --slow' tweaksAlp Mestanogullari2018-05-201-1/+10
* Fix another batch of `./validate --slow` failuresAlp Mestanogullari2018-05-131-1/+8
* testsuite: Fix `./validate --slow`Alp Mestanogullari2018-04-191-4/+1
* Fix #14991.Richard Eisenberg2018-04-021-0/+1
* Track type variable scope more carefully.Richard Eisenberg2018-03-311-0/+2
* Fix the test for #13938Ryan Scott2018-03-271-1/+2
* Fix #12919 by making the flattener homegeneous.Richard Eisenberg2018-03-261-3/+5
* Test #13938, with expect_brokenRichard Eisenberg2017-09-141-0/+1
* Make rejigConRes do kind substitutionsRichard Eisenberg2017-09-141-0/+1
* Regression test for #12742Richard Eisenberg2017-09-141-0/+1
* Test #14038 in dependent/should_compile/T14038Richard Eisenberg2017-09-141-0/+1
* Fix #12176 by being a bit more careful instantiating.Richard Eisenberg2017-07-271-0/+1
* Add regression test for #11966Ryan Scott2017-05-121-0/+1
* Add regression test for #13538Ryan Scott2017-04-061-0/+1
* Fix #12442.Richard Eisenberg2016-09-231-0/+1
* Fix #11635 / #11719.Richard Eisenberg2016-03-211-0/+2
* Fix #11716.Richard Eisenberg2016-03-171-0/+1
* Fix #11711.Richard Eisenberg2016-03-171-0/+1
* Fix #11241.Richard Eisenberg2016-02-171-1/+1
* Mark dynamic-paper as expect_fail_for optasm and optllvm (#11330)Thomas Miedema2016-01-291-1/+4
* Fix #11405.Richard Eisenberg2016-01-151-1/+1
* Constrained types have kind * in validity check.Richard Eisenberg2016-01-151-0/+2
* Fix #11311Richard Eisenberg2016-01-151-0/+1
* Have mkCastTy look more closely for reflexivity.Richard Eisenberg2015-12-261-0/+1
* Test #9632 in dependent/should_compile/T9632Richard Eisenberg2015-12-141-0/+1