summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghc-regress/indexed-types/should_compile/all.T
Commit message (Expand)AuthorAgeFilesLines
* Skip optllvmDavid Terei2011-07-061-1/+1
* Turn the #5030 test into a performance testIan Lynagh2011-06-261-1/+0
* InstEqContext and InstEqContext3 both pass now (superclass equalities work)Simon Peyton Jones2011-06-231-2/+2
* Add tests for superclass equalitiesSimon Peyton Jones2011-06-221-7/+12
* IndTypesPerf and T4801 are temporarily unbroken (#5227)Simon Marlow2011-05-311-2/+3
* Mark T3064, IndTypesPerf, and T4801 as expected-brokenSimon Peyton Jones2011-05-261-2/+4
* SlowComp needs a reqlib('mtl')Simon Marlow2011-05-191-1/+1
* Adding -fcontext-stack flag option to SlowComp. Compiles in underDimitrios Vytiniotis2011-05-191-1/+1
* More tests and wibbles in existing tests.Dimitrios Vytiniotis2011-05-181-0/+8
* Follow error message wibblessimonpj2011-02-171-1/+1
* Test Trac #4935simonpj2011-02-111-0/+1
* Massive bunch of changes to track my massive refactoring to the typecheckersimonpj2011-01-121-1/+3
* T3208b rightly rejects the programsimonpj2010-12-151-1/+1
* Test Trac #3460simonpj2010-12-151-0/+1
* Test Trac #3484simonpj2010-12-151-0/+1
* Remove special results for old GHC versionsIan Lynagh2010-11-201-9/+9
* Fix 7.0-branch testsuite behaviourIan Lynagh2010-11-201-1/+1
* Test Trac #4497simonpj2010-11-171-0/+1
* Add tests for deriving Typable on data familiessimonpj2010-11-151-0/+1
* Test Snoyman's emailed data family deriving programsimonpj2010-11-151-0/+1
* Test Trac #4494simonpj2010-11-151-0/+1
* Add test for Trac #4492simonpj2010-11-121-0/+2
* Add test for Trac #4356simonpj2010-10-211-0/+1
* GHC 7.0 now rejects superclass equalities (rather than behaving inconsistently)simonpj2010-10-191-5/+5
* Test Trac #3023 and 4358simonpj2010-10-191-0/+2
* Test Trac #3023simonpj2010-10-111-1/+0
* Test Trac #4358simonpj2010-10-081-0/+1
* Add four testssimonpj2010-09-221-0/+4
* Test Trac #4178simonpj2010-09-171-3/+0
* Add tests for Trac #3851, 4200, 3692, 3500simonpj2010-09-191-0/+2
* Test Trac #3826simonpj2010-09-191-0/+1
* Make these typechecker tests run in the optimised way toosimonpj2010-09-171-1/+2
* Add test for Trac #4160simonpj2010-09-171-0/+1
* T3787 should passsimonpj2010-09-161-1/+1
* Test Trac #3787simonpj2010-09-151-0/+1
* Accept changes (some tests now work)simonpj2010-09-141-7/+7
* Can't do type-function equalities under forallsimonpj2010-09-071-1/+1
* Two expected breakagessimonpj2010-09-071-2/+2
* Cant unify under an implicationsimonpj2010-09-071-1/+1
* GADT12 passes nowsimonpj2010-09-061-1/+1
* Test Trac #4120simonpj2010-08-131-0/+2
* Add an indexed types performance testIan Lynagh2010-05-251-0/+5
* Add test for type families, discovered by Romansimonpj2009-12-111-0/+1
* Tweak testsuite results for 6.12 branchIan Lynagh2009-11-221-1/+1
* Add coercion test for PushC rulesimonpj2009-11-121-0/+1
* Test Trac #3590simonpj2009-10-211-0/+1
* TFs: T3220Manuel M T Chakravarty2009-08-241-0/+1
* Test Trac #2850simonpj2009-08-211-0/+1
* Test Trac #3423simonpj2009-08-211-0/+1
* TFs: T3418Manuel M T Chakravarty2009-08-201-0/+1