summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile/all.T
Commit message (Expand)AuthorAgeFilesLines
* Fix #12064 by making IfaceClass typechecking more lazy.Edward Z. Yang2016-06-081-0/+2
* Do not use defaulting in ambiguity checkSimon Peyton Jones2016-04-221-0/+1
* SCC analysis for instances as well as types/classesSimon Peyton Jones2016-04-201-0/+1
* Adjust error check for class method typesSimon Peyton Jones2016-04-151-0/+1
* Fix #11811.Richard Eisenberg2016-04-121-0/+1
* Fix #11754 by adding an additional check.Richard Eisenberg2016-03-261-0/+1
* Fix #11512 by getting visibility right for methodsRichard Eisenberg2016-03-171-0/+1
* Test case for #11699 in typecheck/should_compileRichard Eisenberg2016-03-141-0/+1
* Fix #11401.Richard Eisenberg2016-03-141-0/+1
* Exclude TyVars from the constraint solverSimon Peyton Jones2016-02-261-0/+1
* Fix #11246.Richard Eisenberg2016-02-171-0/+1
* Testsuite: delete compiler_lt/le/gt/ge setup functionsThomas Miedema2016-02-171-4/+4
* Add test for #11319Reid Barton2016-02-111-0/+1
* Wrap solveEqualities in checkNoErrsSimon Peyton Jones2016-02-101-1/+0
* Test Trac #11552Simon Peyton Jones2016-02-081-0/+1
* Add test for #11516Ben Gamari2016-02-061-0/+1
* Use a correct substitution in tcCheckPatSynDeclBartosz Nitka2016-02-021-0/+1
* Refactor the typechecker to use ExpTypes.Richard Eisenberg2016-01-271-0/+4
* Special-case implicit params in superclass expansionSimon Peyton Jones2016-01-251-0/+1
* Remove -Wredundant-superclasses from standard warningsBen Gamari2016-01-231-2/+2
* Add test for Trac #11056RyanGlScott2016-01-231-0/+1
* Default non-canonical CallStack constraintsEric Seidel2016-01-221-0/+7
* Test Trac #11379Simon Peyton Jones2016-01-181-0/+1
* Fix #11254.Richard Eisenberg2016-01-151-1/+1
* Add strictness for runRW#Simon Peyton Jones2016-01-011-1/+2
* Fix #11305.Richard Eisenberg2015-12-291-0/+1
* Test #11254 in typecheck/should_compile/T11254Richard Eisenberg2015-12-261-0/+1
* Visible type applicationRichard Eisenberg2015-12-241-0/+3
* Test #10432Jan Stolarek2015-12-231-0/+1
* testsuite/ClassOperator: This actually should_failBen Gamari2015-12-211-1/+0
* testsuite: Add ClassOperator testcaseBen Gamari2015-12-211-0/+1
* tcCheckSatisfiability: less aggressive superclass expansionSimon Peyton Jones2015-12-181-0/+1
* Look through type synonyms in GADT kind signaturesJan Stolarek2015-12-161-0/+1
* Revert "Unify hsig and hs-boot; add preliminary "hs-boot" merging."Edward Z. Yang2015-11-161-1/+1
* Zonk properly when checkig pattern synonymsSimon Peyton Jones2015-10-271-2/+0
* Testsuite: add test for #10997Thomas Miedema2015-10-211-0/+2
* Extended default rules now specialize Foldable, Traversable to [] (#10971)David Kraeutmann2015-10-201-0/+1
* Reinstate monomorphism-restriction warningsSimon Peyton Jones2015-10-121-0/+1
* Unify hsig and hs-boot; add preliminary "hs-boot" merging.Edward Z. Yang2015-09-211-1/+1
* Test #10770Richard Eisenberg2015-09-201-0/+2
* Test #10347Richard Eisenberg2015-09-201-0/+1
* Injective type familiesJan Stolarek2015-09-031-0/+4
* Add test for updating a record with existentially quantified fields.Matthew Pickering2015-09-021-0/+1
* Make oneShot open-kindedJoachim Breitner2015-08-081-0/+1
* Testsuite: skip T10489 unless compiler_debugged (#10489)Thomas Miedema2015-07-301-1/+1
* Testsuite: mark tests recently fixed as passing + accept new stderrThomas Miedema2015-07-301-1/+1
* Add regression test for unused implicit parameter warning (#10632)Reid Barton2015-07-191-0/+1
* Testsuite: mark 3 tests expect_broken_for(#10181, ['optasm', 'optllvm'])Thomas Miedema2015-07-181-1/+1
* Testsuite: mark T2497 expect_broken_for(#10657, ['optasm', 'optllvm'])Thomas Miedema2015-07-181-1/+1
* Fix #10642.Richard Eisenberg2015-07-151-0/+1
View Lorry Controller Status