summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail
Commit message (Expand)AuthorAgeFilesLines
* Rearrange error msgs and add section markers (Trac #11014).Evan Laforge2015-11-2461-148/+148
* Add `PrelNames.thenAName` for `Applicative(*>)`Herbert Valerio Riedel2015-11-241-1/+1
* Improve constraint-used-as-type error msgSimon Peyton Jones2015-11-236-14/+23
* Fix inconsistent pretty-printing of type familiesMichał Sośnicki2015-11-183-56/+62
* Revert "Unify hsig and hs-boot; add preliminary "hs-boot" merging."Edward Z. Yang2015-11-169-20/+19
* Implement support for user-defined type errors.Iavor S. Diatchki2015-11-167-0/+65
* Implement the Strict language extensionAdam Sandberg Eriksson2015-11-141-2/+2
* Bump `base` version to 4.9.0.0 (closes #11026)Herbert Valerio Riedel2015-11-011-1/+1
* Generate Typeable info at definition sitesBen Gamari2015-10-303-7/+6
* Revert "Generate Typeable info at definition sites"Ben Gamari2015-10-293-6/+7
* Generate Typeable info at definition sitesBen Gamari2015-10-293-7/+6
* Extended default rules now specialize Foldable, Traversable to [] (#10971)David Kraeutmann2015-10-206-0/+107
* Improve error messages for ambiguous type variablesDavid Kraeutmann2015-10-0710-32/+41
* Unify hsig and hs-boot; add preliminary "hs-boot" merging.Edward Z. Yang2015-09-219-19/+20
* Run simplifier only when the env is clean.Richard Eisenberg2015-09-212-32/+4
* Slightly better `Coercible` errors.Richard Eisenberg2015-09-215-0/+42
* Re-polish error messages around injective TFs.Richard Eisenberg2015-09-202-28/+35
* 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
* 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-0336-7/+560
* Improve the error messages for class instance errorsSimon Peyton Jones2015-09-0211-118/+55
* Pretty: fix potential bad formatting of error message (#10735)Thomas Miedema2015-08-122-183/+62
* Tidy up and refactor wildcard handlingSimon Peyton Jones2015-08-051-13/+13
* 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
* Better treatment of signatures in cls/instSimon Peyton Jones2015-07-301-4/+4
* Test case for #10698Joachim Breitner2015-07-283-0/+34
* Testsuite: add regression test for missing class constraintThomas Miedema2015-07-203-0/+20
* Implement -fprint-expanded-synonymsÖmer Sinan Ağacan2015-07-179-0/+100
* Testsuite: delete *.stderr-ghc-7.0 *.stdout-ghc-7.0Thomas Miedema2015-07-142-15/+0
* Testsuite: delete remaining only_compiler_types(['ghc']) setupsThomas Miedema2015-07-141-11/+11
* Improve error message for fundepsSimon Peyton Jones2015-07-102-2/+4
* Infer types with flexible contextsSimon Peyton Jones2015-07-093-19/+18
* Remove all *.stderr/stdout-hugs filesThomas Miedema2015-07-0699-248/+0
* Improve error message for Typeable k (T k)Simon Peyton Jones2015-06-267-36/+35
* Error message wibbles from out-of-scope changesSimon Peyton Jones2015-06-264-13/+14
* Improve kind-checking for 'deriving' clausesSimon Peyton Jones2015-06-251-5/+2
* Remove some horrible munging of origins for CoercibleSimon Peyton Jones2015-06-187-34/+16
* Report arity errors correctly despite kindsSimon Peyton Jones2015-06-1811-66/+66
* Testsuite wibble around decomposing newtypes.Richard Eisenberg2015-06-162-12/+13
* Fix #10495.Richard Eisenberg2015-06-163-0/+12
* Fix #10534Richard Eisenberg2015-06-164-0/+44
* Another major improvement of "improvement"Simon Peyton Jones2015-06-119-52/+49
* Testsuite: delete expect_fail setups for hugsThomas Miedema2015-06-091-1/+1
* Refactor the GlobalRdrEnv, fixing #7672Simon Peyton Jones2015-06-021-8/+7
* Refactor tuple constraintsSimon Peyton Jones2015-05-189-78/+67
View Lorry Controller Status