summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck
Commit message (Expand)AuthorAgeFilesLines
* Testsuite wibbles from previous commits.Richard Eisenberg2016-03-141-1/+1
* Test case for #11699 in typecheck/should_compileRichard Eisenberg2016-03-142-0/+6
* Refactor visible type application.Richard Eisenberg2016-03-142-11/+11
* Fix #11401.Richard Eisenberg2016-03-142-0/+34
* Skip TEST=TcCoercibleFail when compiler_debuggedThomas Miedema2016-02-291-1/+5
* Remove some more Windows line endings [skip ci]Thomas Miedema2016-02-292-31/+31
* DynFlags: Add -Wredundant-constraints to -WallBen Gamari2016-02-292-5/+5
* Annotate `[-Wdeferred-type-errors]` in warnings (re #10752)Herbert Valerio Riedel2016-02-273-5/+5
* Annotate `[-Wredundant-constraints]` in warnings (re #10752)Herbert Valerio Riedel2016-02-272-5/+5
* Print which flag controls emitted desugaring warningsHerbert Valerio Riedel2016-02-271-2/+2
* Exclude TyVars from the constraint solverSimon Peyton Jones2016-02-262-0/+15
* Typos in comments, etc.Gabor Greif2016-02-261-1/+1
* Print which warning-flag controls an emitted warningMichael Walker2016-02-2522-97/+99
* Testsuite: do not write empty files on 'make accept'Thomas Miedema2016-02-251-0/+0
* Testsuite: delete empty files [skip ci]Thomas Miedema2016-02-2516-0/+0
* (Alternative way to) address #8710George Karachalias2016-02-251-4/+4
* Add more type class instances for GHC.GenericsRyanGlScott2016-02-252-5/+5
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-244-7/+6
* Testsuite: delete Windows line endings [skip ci] (#11631)Thomas Miedema2016-02-2330-170/+170
* Testsuite: accept output without Windows line endings (#11631)Thomas Miedema2016-02-2359-550/+573
* Testsuite: delete Windows line endings [skip ci] (#11631)Thomas Miedema2016-02-2335-621/+621
* Testsuite: delete Windows line endings [skip ci] (#11631)Thomas Miedema2016-02-2312-1021/+1021
* Testsuite: pass '-s --no-print-directory' to MAKEThomas Miedema2016-02-211-5/+5
* Fix #11313.Richard Eisenberg2016-02-173-0/+16
* Fix #11246.Richard Eisenberg2016-02-172-0/+6
* Testsuite: delete compiler_lt/le/gt/ge setup functionsThomas Miedema2016-02-173-19/+16
* Suggest candidate instances in error messageYuras Shumovich2016-02-163-0/+16
* Comments onlySimon Peyton Jones2016-02-153-0/+11
* Improve error message suppressionSimon Peyton Jones2016-02-153-72/+39
* testsuite: tweak error messages for new Show instanceSergei Trofimovich2016-02-122-2/+2
* Beef up tc124Simon Peyton Jones2016-02-121-4/+10
* Add test for #11319Reid Barton2016-02-112-0/+7
* Wrap solveEqualities in checkNoErrsSimon Peyton Jones2016-02-107-52/+28
* TcErrors: Fix plural form of "instance" errorBen Gamari2016-02-095-9/+9
* Restore derived Eq instance for SrcLocRyanGlScott2016-02-091-1/+1
* Test Trac #11552Simon Peyton Jones2016-02-082-0/+22
* Fix a nasty superclass expansion bugSimon Peyton Jones2016-02-081-11/+11
* Add comments to TcCoercibleFailSimon Peyton Jones2016-02-082-3/+10
* Allow foralls in instance declsSimon Peyton Jones2016-02-0814-97/+94
* Add test for #11516Ben Gamari2016-02-062-0/+12
* Add a derived `Show SrcLoc` instanceEric Seidel2016-02-062-2/+2
* Use a correct substitution in tcCheckPatSynDeclBartosz Nitka2016-02-022-0/+19
* Refactor the typechecker to use ExpTypes.Richard Eisenberg2016-01-2728-112/+217
* Special-case implicit params in superclass expansionSimon Peyton Jones2016-01-252-0/+10
* Add -fwarn-redundant-constrains to test for #9708Thomas Miedema2016-01-242-0/+9
* Add test for #11473Ben Gamari2016-01-232-0/+21
* Remove -Wredundant-superclasses from standard warningsBen Gamari2016-01-232-6/+2
* Add test for Trac #11056RyanGlScott2016-01-232-0/+15
* Add tests for #11465 and the kind invariantBen Gamari2016-01-224-1/+21
* Default non-canonical CallStack constraintsEric Seidel2016-01-223-0/+27
View Lorry Controller Status