summaryrefslogtreecommitdiff
path: root/testsuite/tests/indexed-types/should_compile
Commit message (Expand)AuthorAgeFilesLines
* Update outputs following the unicode quote change in GHC's outputIan Lynagh2013-02-243-38/+38
* Implement poly-kinded TypeableJose Pedro Magalhaes2013-02-121-1/+1
* Convert more helper functionsIan Lynagh2013-02-111-1/+1
* Test Trac #7282Simon Peyton Jones2013-01-302-0/+10
* Debug output wibblesSimon Peyton Jones2013-01-281-1/+1
* Error message wibblesSimon Peyton Jones2013-01-251-24/+24
* Merge branch 'master' of http://darcs.haskell.org/testsuiteSimon Peyton Jones2013-01-162-1/+22
|\
| * Add new test case T7585.Richard Eisenberg2013-01-152-1/+22
* | Fix Test by adding a fundep to make the (Concete a b) instance legalSimon Peyton Jones2013-01-151-1/+3
|/
* Wibbles to error messages and tests, following ambiguity-check changesSimon Peyton Jones2013-01-088-18/+29
* Implement overlapping type family instances.Richard Eisenberg2012-12-215-1/+49
* Test Trac #7489Simon Peyton Jones2012-12-192-0/+13
* Add a test for #7474Ian Lynagh2012-12-082-0/+18
* Remove duplicate testIan Lynagh2012-11-082-50/+0
* Use 'error "uk"' rather than 'undefined'Simon Peyton Jones2012-10-311-3/+3
* Wibbles to type error messagesSimon Peyton Jones2012-10-261-17/+32
* Replace Rank2Types and PolymorphicComponents by RankNTypesSimon Peyton Jones2012-10-197-7/+7
* Test Trac #7332Simon Peyton Jones2012-10-152-0/+50
* Better outputSimon Peyton Jones2012-10-121-24/+24
* Test Trac #7280Simon Peyton Jones2012-10-082-0/+14
* Test Trac #5591Simon Peyton Jones2012-10-023-0/+40
* A ton of error message wibblesSimon Peyton Jones2012-09-212-16/+10
* Accept error message changesSimon Peyton Jones2012-08-312-8/+31
* Test Trac #7156Simon Peyton Jones2012-08-202-0/+10
* Add some NOINLINE pragmas to satisfy the (correct) "RULE may not fire" warningSimon Peyton Jones2012-07-232-2/+3
* Test Trac #7082Simon Peyton Jones2012-07-182-0/+14
* Accept error wibblesSimon Peyton Jones2012-07-101-23/+24
* Test Trac #6152Simon Peyton Jones2012-06-083-0/+26
* Test Trac #6088Simon Peyton Jones2012-06-082-0/+20
* Follow changes in pretty printingSimon Peyton Jones2012-04-261-1/+1
* Error message modifications following ghc-new-solver modificationsDimitrios.Vytiniotis2012-04-042-13/+1
* Test Trac #5955Simon Peyton Jones2012-03-284-0/+31
* Error message wibbles following TyClDecl/HsTyDefn refactoringSimon Peyton Jones2012-03-261-0/+2
* Modified error output and new tests for PolyKinds commitSimon Peyton Jones2012-03-023-4/+4
* Follow more output changesIan Lynagh2012-02-211-0/+1
* Lots of error message wibbling, following theSimon Peyton Jones2012-01-122-1/+7
* Error message wibbles for new CoAxiom storySimon Peyton Jones2012-01-041-23/+22
* Minor wibbles to error messages, as a result of fiddling withSimon Peyton Jones2011-12-232-11/+11
* T4120 passes now! HooraySimon Peyton Jones2011-12-052-9/+1
* Add kind annotationsJose Pedro Magalhaes2011-11-161-1/+1
* Reducing the context stack for this file, which was looping anyway, toDimitrios Vytiniotis2011-11-161-1/+1
* Error message modifications for the new constraint solver.Dimitrios Vytiniotis2011-11-161-23/+23
* Wibbles to error messages following fix to Outputable.quotesSimon Peyton Jones2011-09-291-2/+2
* Test the ConstraintKind extension and related changesMax Bolingbroke2011-09-061-0/+4
* Error message wibblesSimon Peyton Jones2011-09-021-2/+2
* Accept benign changes to stderr after removing a hack in the type checker tha...Manuel M T Chakravarty2011-08-251-1/+1
* Error message wibbles due to reordering constraints (the DPH problem)Simon Peyton Jones2011-08-021-1/+1
* Error message wibblesSimon Peyton Jones2011-07-291-1/+1
* Move tests from tests/ghc-regress/* to just tests/*David Terei2011-07-20149-0/+3392