summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck
Commit message (Expand)AuthorAgeFilesLines
* make accept for Make simplifyInstanceContexts deterministicBartosz Nitka2016-05-102-2/+2
* Error message wibbles, re partial type sigsSimon Peyton Jones2016-05-101-15/+15
* Kill non-deterministic foldUFM in TrieMap and TcAppMapBartosz Nitka2016-05-045-27/+25
* Be more aggressive when checking constraints for custom type errors.Iavor S. Diatchki2016-05-045-0/+64
* Testsuite: benign test fixesThomas Miedema2016-04-281-1/+1
* Minor improvement to error messageSimon Peyton Jones2016-04-288-22/+22
* Kill varSetElems in TcErrorsBartosz Nitka2016-04-261-17/+17
* Kill varSetElemsWellScoped in quantifyTyVarsBartosz Nitka2016-04-2617-61/+61
* Testsuite: fixup lots of testsThomas Miedema2016-04-261-1/+1
* Warn about simplifiable class constraintsSimon Peyton Jones2016-04-2211-20/+61
* Do not use defaulting in ambiguity checkSimon Peyton Jones2016-04-225-0/+30
* Accept tcrun045 outputSimon Peyton Jones2016-04-201-5/+17
* SCC analysis for instances as well as types/classesSimon Peyton Jones2016-04-204-8/+33
* Tighten checking for associated type instancesSimon Peyton Jones2016-04-193-79/+82
* Define TyCoRep.ppSuggestExplicitKinds, and use itSimon Peyton Jones2016-04-191-4/+4
* testsuite: Add T11824Ben Gamari2016-04-156-0/+47
* Adjust error check for class method typesSimon Peyton Jones2016-04-152-0/+9
* Fix #11811.Richard Eisenberg2016-04-122-0/+9
* Fix a closed type family error messageRik Steenkamp2016-04-113-0/+12
* Set tct_closed to TopLevel for closed bindings.Facundo Domínguez2016-04-063-0/+15
* Fix misattribution of `-Wunused-local-binds` warningsHerbert Valerio Riedel2016-04-051-1/+1
* Don't infer CallStacksEric Seidel2016-04-043-16/+5
* Typos in non-codeGabor Greif2016-03-301-1/+1
* Check for rep poly on wildcard binders.Richard Eisenberg2016-03-263-0/+17
* Fix #11754 by adding an additional check.Richard Eisenberg2016-03-262-0/+29
* Fix #11723 and #11724.Richard Eisenberg2016-03-215-0/+31
* Prevent eager unification with type families.Richard Eisenberg2016-03-211-1/+1
* Make equality print better. (#11712)Richard Eisenberg2016-03-214-12/+12
* Revert "Add test for #11473"Ben Gamari2016-03-202-21/+0
* Fix #11512 by getting visibility right for methodsRichard Eisenberg2016-03-172-0/+12
* Clean up some pretty-printing in errors.Richard Eisenberg2016-03-153-6/+6
* 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
View Lorry Controller Status