summaryrefslogtreecommitdiff
path: root/testsuite/tests/gadt
Commit message (Expand)AuthorAgeFilesLines
...
* Testsuite: delete Windows line endings [skip ci] (#11631)Thomas Miedema2016-02-2314-650/+650
* Another batch of typo fixes in non-codeGabor Greif2016-02-111-1/+1
* Allow foralls in instance declsSimon Peyton Jones2016-02-081-5/+5
* Refactor the typechecker to use ExpTypes.Richard Eisenberg2016-01-273-23/+23
* Visible type applicationRichard Eisenberg2015-12-245-10/+18
* Add kind equalities to GHC.Richard Eisenberg2015-12-115-55/+55
* Major Overhaul of Pattern Match Checking (Fixes #595)George Karachalias2015-12-032-1/+4
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-013-40/+44
* Rearrange error msgs and add section markers (Trac #11014).Evan Laforge2015-11-246-15/+15
* A few typos in commentsGabor Greif2015-10-051-1/+1
* Testsuite: by default run all tests for a single wayThomas Miedema2015-09-021-1/+1
* Removed deprecated syntax for GADT constuctors.Ulya Trofimovich2015-08-032-7/+12
* Testsuite: mark tests recently fixed as passing + accept new stderrThomas Miedema2015-07-301-1/+1
* Testsuite: mark gadt/termination expect_broken_for(#10658, ['optasm','optllvm'])Thomas Miedema2015-07-181-1/+1
* Testsuite: delete remaining only_compiler_types(['ghc']) setupsThomas Miedema2015-07-141-2/+0
* Remove some horrible munging of origins for CoercibleSimon Peyton Jones2015-06-181-4/+3
* Report arity errors correctly despite kindsSimon Peyton Jones2015-06-186-37/+37
* Testsuite: change some expect_fail tests to expect_brokenThomas Miedema2015-06-112-1/+3
* Testsuite: delete expect_fail setups for ghc < 7.1Thomas Miedema2015-06-091-4/+4
* 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
View Lorry Controller Status