summaryrefslogtreecommitdiff
path: root/testsuite/tests/gadt
Commit message (Expand)AuthorAgeFilesLines
* Use U+2018 instead of U+201B quote mark in compiler messagesHerbert Valerio Riedel2014-02-2519-75/+75
* type-rep is only broken when debugging is onJoachim Breitner2014-01-161-1/+1
* Update output: More elaborate GND error messagesJoachim Breitner2013-12-041-1/+2
* Wibbles to output caused by change in checking role annotationsRichard Eisenberg2013-12-021-1/+1
* Mark type-rep as broken until #5869 is fixedJoachim Breitner2013-12-021-1/+1
* Update testsuite for nicer Coercible messageJoachim Breitner2013-12-021-5/+6
* Coercible-base GND: update error messagesJoachim Breitner2013-11-221-5/+7
* gadt6 is fine now, even with DEBUGSimon Peyton Jones2013-11-221-1/+1
* Mark tests as expect_broken when borken with -DDEBUGJoachim Breitner2013-11-221-1/+1
* Update tests to reflect new check for GeneralizedNewtypeDerivingRichard Eisenberg2013-10-231-1/+1
* Adjust test suite to new Language Pragma warnignsJoachim Breitner2013-09-143-3/+3
* Error message wibblesSimon Peyton Jones2013-09-103-8/+8
* Fix most AMP warnings.Austin Seipp2013-09-082-0/+20
* Wibble to output from change in roles error messagesRichard Eisenberg2013-08-271-1/+1
* Wibbles to output from refactoring datacon codeRichard Eisenberg2013-08-041-1/+1
* Add tests for roles.Richard Eisenberg2013-08-025-12/+19
* Test Trac #7558Simon Peyton Jones2013-06-203-0/+22
* Test Trac #7974Simon Peyton Jones2013-06-102-0/+9
* Improved error messageSimon Peyton Jones2013-05-213-0/+3
* Wibbles to error messages, following the fix for Trac #7851Simon Peyton Jones2013-04-294-7/+0
* Error message wibbles, following TcErrors refactoringSimon Peyton Jones2013-04-221-35/+21
* Update outputs following the unicode quote change in GHC's outputIan Lynagh2013-02-2417-133/+132
* More helper conversionsIan Lynagh2013-02-111-6/+6
* Convert more helper functionsIan Lynagh2013-02-111-4/+4
* spellingGabor Greif2013-02-021-1/+1
* Adapt to being a bit more picky about inference with GADTsSimon Peyton Jones2012-10-197-4/+66
* Improvements to kind error messages, mainlySimon Peyton Jones2012-10-191-0/+1
* Replace Rank2Types and PolymorphicComponents by RankNTypesSimon Peyton Jones2012-10-196-6/+6
* Test Trac #7321Simon Peyton Jones2012-10-124-0/+20
* Commit missing stderr fileSimon Peyton Jones2012-10-081-1/+9
* Test Trac #7294Simon Peyton Jones2012-10-053-0/+35
* Test Trac #7293Simon Peyton Jones2012-10-053-0/+26
* Test Trac #7205Simon Peyton Jones2012-10-022-1/+17
* We now have left/right coercions again, so T1999a passesSimon Peyton Jones2012-10-021-1/+1
* Tons of error message wibblesSimon Peyton Jones2012-09-281-18/+0
* A ton of error message wibblesSimon Peyton Jones2012-09-212-20/+39
* Add some NOINLINE pragmas to satisfy the (correct) "RULE may not fire" warningSimon Peyton Jones2012-07-231-0/+1
* Testcases for floating equalities ouf of implicationsDimitrios.Vytiniotis2012-06-082-0/+19
* Error message modifications following ghc-new-solver modificationsDimitrios.Vytiniotis2012-04-042-32/+46
* Error message wibbles following TyClDecl/HsTyDefn refactoringSimon Peyton Jones2012-03-268-60/+60
* Modified error output and new tests for PolyKinds commitSimon Peyton Jones2012-03-021-2/+2
* Lots of error message wibbling, following theSimon Peyton Jones2012-01-122-30/+48
* Follow error message changesSimon Peyton Jones2011-11-301-20/+19
* Update outputsJose Pedro Magalhaes2011-11-251-2/+1
* Update outputs after renaming the ? and ?? kindsJose Pedro Magalhaes2011-11-211-1/+1
* Error message modifications for the new constraint solver.Dimitrios Vytiniotis2011-11-162-32/+32
* New kind-polymorphic coreJose Pedro Magalhaes2011-11-112-9/+10
* Fix some more written-but-not-cleaned filesIan Lynagh2011-09-061-1/+4
* Test Trac #5424Simon Peyton Jones2011-09-023-1/+18
* Move tests from tests/ghc-regress/* to just tests/*David Terei2011-07-20106-0/+3054
View Lorry Controller Status