summaryrefslogtreecommitdiff
path: root/testsuite/tests/gadt
Commit message (Expand)AuthorAgeFilesLines
...
* Remove clean_cmd and extra_clean usage from .T filesThomas Miedema2017-01-221-16/+4
* Spelling fixes in comments [ci skip]Gabor Greif2017-01-181-1/+1
* Take account of kinds in promoteTcTypeSimon Peyton Jones2016-10-241-3/+3
* A collection of type-inference refactorings.Simon Peyton Jones2016-10-213-22/+22
* Testsuite: tabs -> spaces [skip ci]Thomas Miedema2016-06-2016-206/+205
* Testsuite: remove Windows CR [skip ci]Thomas Miedema2016-06-204-83/+83
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-152-37/+37
* Improve typechecking of let-bindingsSimon Peyton Jones2016-06-136-120/+120
* Testsuite: benign test fixesThomas Miedema2016-04-282-1/+6
* Kill varSetElemsWellScoped in quantifyTyVarsBartosz Nitka2016-04-262-15/+15
* Make equality print better. (#11712)Richard Eisenberg2016-03-211-1/+1
* Annotate `[-Wdeferred-type-errors]` in warnings (re #10752)Herbert Valerio Riedel2016-02-271-1/+1
* Print which flag controls emitted desugaring warningsHerbert Valerio Riedel2016-02-271-12/+12
* Testsuite: delete empty files [skip ci]Thomas Miedema2016-02-251-0/+0
* (Alternative way to) address #8710George Karachalias2016-02-251-12/+12
* Testsuite: delete Windows line endings [skip ci] (#11631)Thomas Miedema2016-02-231-5/+5
* Testsuite: accept output without Windows line endings (#11631)Thomas Miedema2016-02-238-83/+83
* 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
View Lorry Controller Status