summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck
Commit message (Expand)AuthorAgeFilesLines
* Abstract TFs can have injectivity informationJan Stolarek2015-11-091-2/+5
* Bump ghc-prim version to 0.5.0.0 (closes #11043)Herbert Valerio Riedel2015-11-011-1/+1
* Bump `base` version to 4.9.0.0 (closes #11026)Herbert Valerio Riedel2015-11-012-2/+2
* Generate Typeable info at definition sitesBen Gamari2015-10-304-10/+9
* Revert "Generate Typeable info at definition sites"Ben Gamari2015-10-294-9/+10
* Generate Typeable info at definition sitesBen Gamari2015-10-294-10/+9
* Zonk properly when checkig pattern synonymsSimon Peyton Jones2015-10-273-34/+0
* Testsuite: add test for #10997Thomas Miedema2015-10-213-0/+34
* Extended default rules now specialize Foldable, Traversable to [] (#10971)David Kraeutmann2015-10-209-0/+159
* testsuite: attempt fixing T10935 outputAustin Seipp2015-10-121-1/+6
* Reinstate monomorphism-restriction warningsSimon Peyton Jones2015-10-123-0/+7
* Move orphan instance/rule warnings to typechecker/desugarer.Edward Z. Yang2015-10-081-4/+4
* Improve error messages for ambiguous type variablesDavid Kraeutmann2015-10-0711-35/+45
* Unify hsig and hs-boot; add preliminary "hs-boot" merging.Edward Z. Yang2015-09-2112-21/+22
* Run simplifier only when the env is clean.Richard Eisenberg2015-09-212-32/+4
* Perform a validity check on assoc type defaults.Richard Eisenberg2015-09-211-0/+2
* Slightly better `Coercible` errors.Richard Eisenberg2015-09-215-0/+42
* Fix typo in test for #10347.Richard Eisenberg2015-09-211-1/+1
* Re-polish error messages around injective TFs.Richard Eisenberg2015-09-202-28/+35
* Test #10770Richard Eisenberg2015-09-203-0/+19
* Test #10347Richard Eisenberg2015-09-202-0/+11
* Polish some error messages.Richard Eisenberg2015-09-192-29/+29
* Fix #10815 by kind-checking type patterns against known kinds.Richard Eisenberg2015-09-191-27/+27
* Pass TEST_HC_OPTS in bug1465 and T5792.Edward Z. Yang2015-09-182-3/+3
* Show minimal complete definitions in ghci (#10847)Moritz Kiefer2015-09-171-0/+1
* Testsuite cleanupJan Stolarek2015-09-1227-231/+170
* Improve rejigConRes (again)Simon Peyton Jones2015-09-112-7/+13
* Testsuite: fix tcfail220 - Maybe is wired-in nowThomas Miedema2015-09-042-10/+10
* Add test for T10836 (expected broken)Jan Stolarek2015-09-033-0/+25
* Injective type familiesJan Stolarek2015-09-0344-8/+860
* Testsuite: by default run all tests for a single wayThomas Miedema2015-09-021-4/+1
* Fix some tests that were broken by D861Eric Seidel2015-09-022-29/+30
* Improve the error messages for class instance errorsSimon Peyton Jones2015-09-0212-137/+75
* Add test for updating a record with existentially quantified fields.Matthew Pickering2015-09-022-0/+22
* Testsuite: recenter 2 performance tests on WindowsThomas Miedema2015-08-151-1/+3
* Pretty: fix potential bad formatting of error message (#10735)Thomas Miedema2015-08-122-183/+62
* Make oneShot open-kindedJoachim Breitner2015-08-082-0/+18
* Tidy up and refactor wildcard handlingSimon Peyton Jones2015-08-052-21/+21
* Testsuite: add typecheck/should_fail/T8034 (#8034)Thomas Miedema2015-07-303-0/+19
* Testsuite: add typecheck/should_fail/T9260 (#9260)Thomas Miedema2015-07-303-0/+43
* Testsuite: skip T10489 unless compiler_debugged (#10489)Thomas Miedema2015-07-302-1/+2
* Testsuite: mark tests recently fixed as passing + accept new stderrThomas Miedema2015-07-302-2/+2
* Better treatment of signatures in cls/instSimon Peyton Jones2015-07-301-4/+4
* Test case for #10698Joachim Breitner2015-07-283-0/+34
* Improve warnings for rules that might not fireSimon Peyton Jones2015-07-271-0/+1
* Fix test T2497 to avoid infinite loop in RULESSimon Peyton Jones2015-07-212-2/+6
* Testsuite: add regression test for missing class constraintThomas Miedema2015-07-205-2/+22
* Testsuite: add -XUndecidableInstances to T3500aThomas Miedema2015-07-201-0/+1
* Testsuite: add ImpredicativeTypes to T7861 (#7861)Thomas Miedema2015-07-202-11/+14
* Add regression test for unused implicit parameter warning (#10632)Reid Barton2015-07-193-0/+12
View Lorry Controller Status