summaryrefslogtreecommitdiff
path: root/testsuite/tests/gadt
Commit message (Expand)AuthorAgeFilesLines
* Propagate ReturnTvs in matchExpectedFunTysRichard Eisenberg2015-02-111-9/+9
* Major patch to add -fwarn-redundant-constraintsSimon Peyton Jones2015-01-061-1/+1
* Print singleton consraints without parensSimon Peyton Jones2015-01-064-66/+66
* Modify a couple of error messages slightlySimon Peyton Jones2015-01-0610-94/+89
* Rewrite `Coercible` solverRichard Eisenberg2014-12-121-8/+4
* Testsuite error message changesSimon Peyton Jones2014-11-044-24/+17
* Use correct precedence when printing contexts with class operatorsSimon Peyton Jones2014-10-071-1/+1
* Mark type-rep not as expect_broken when debuggedJoachim Breitner2014-08-061-1/+1
* Test Trac #9380Simon Peyton Jones2014-07-313-0/+72
* In splitHsFunType, take account of prefix (->)Simon Peyton Jones2014-05-122-0/+7
* Normalize GHC Trac URLsHerbert Valerio Riedel2014-04-191-1/+1
* Improve error reporting for untouchable type variablesSimon Peyton Jones2014-04-083-0/+3
* 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
View Lorry Controller Status