summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck
Commit message (Expand)AuthorAgeFilesLines
* Re-engineer Given flatten-skolemsSimon Peyton Jones2017-05-267-33/+7
* Ensure that insolubles are fully rewrittenSimon Peyton Jones2017-05-191-2/+2
* Add regression tests for #12083Ryan Scott2017-05-125-0/+49
* testsuite: Fix location of T13594 testBen Gamari2017-05-112-1/+1
* Fix up tests for #13594Ben Gamari2017-05-113-0/+12
* Parenthesize pretty-printed equalities when necessaryRyan Scott2017-05-113-0/+16
* Fix incorrect ambiguity error on identically-named data constructorsSoham Chowdhury2017-05-113-4/+10
* Add regression test for #12850Ryan Scott2017-05-112-0/+11
* Add regression test for #13651Ryan Scott2017-05-062-0/+15
* Add regression tests for #12947, #13640Ryan Scott2017-05-065-0/+41
* Add test for #13320David Feuer2017-05-043-0/+41
* Test #13585 in typecheck/should_compile/T13585Richard Eisenberg2017-05-025-0/+100
* Fix #13333 by fixing the covar's type in ctEvCoercionRichard Eisenberg2017-05-022-0/+29
* Shave the hair off mkCastTy.Richard Eisenberg2017-05-021-2/+2
* Add regression test for #12104Ryan Scott2017-04-283-0/+17
* Add failing test case for T13611Joachim Breitner2017-04-242-0/+10
* Add regression test for #13603Ryan Scott2017-04-242-1/+11
* testsuite: Mark T13075 as broken due to #13075Ben Gamari2017-04-231-1/+1
* testsuite: Add testcase for #13075Ben Gamari2017-04-232-0/+8
* Yet more work on TcSimplify.simplifyInferSimon Peyton Jones2017-04-131-1/+1
* Be less aggressive about fragile-context warrningsSimon Peyton Jones2017-04-063-0/+30
* Yet another attempt at inferring the right quantificationSimon Peyton Jones2017-04-062-0/+19
* Add a missing addDeferredBindingSimon Peyton Jones2017-04-063-0/+25
* Don't report fundep wanted/wanted errorsSimon Peyton Jones2017-04-063-0/+35
* testsuite: Add test for #13524Ben Gamari2017-04-042-0/+28
* testsuite: Add regression test for #13474Ben Gamari2017-04-012-0/+14
* Clean up coreView/tcView.Ben Gamari2017-03-315-11/+36
* Show valid substitutions for typed holesMatthías Páll Gissurarson2017-03-295-0/+67
* Test Trac #13490Simon Peyton Jones2017-03-282-0/+13
* Fix #13458Richard Eisenberg2017-03-272-0/+12
* Fix error-message suppress on given equalitiesSimon Peyton Jones2017-03-275-18/+69
* Test #13435 in typecheck/should_run/T13435Richard Eisenberg2017-03-173-0/+16
* Fix #13343 by not defaulting SigTvsRichard Eisenberg2017-03-172-0/+8
* Fix #12709 by not building bad applicationsRichard Eisenberg2017-03-173-0/+54
* Fix #13337.Richard Eisenberg2017-03-142-0/+17
* Allow associated types to pattern-match in non-class-bound variablesRyan Scott2017-03-141-8/+5
* Fix constraint simplification in rulesSimon Peyton Jones2017-03-103-0/+37
* Improve error messages for skolemsSimon Peyton Jones2017-03-1032-63/+65
* Fix TcSimplify.decideQuantification for kind variablesSimon Peyton Jones2017-03-1011-37/+37
* Typos in changelog and commentsGabor Greif2017-03-072-2/+2
* Prevent users from defining instances for abstract classes.Edward Z. Yang2017-03-026-0/+18
* Properly represent abstract classes in Class and IfaceDeclEdward Z. Yang2017-03-025-0/+27
* Improve pretty-printing of typesSimon Peyton Jones2017-02-281-8/+7
* Add Eq instances for TrName, ModuleBen Gamari2017-02-281-1/+1
* Treat all TyCon with hole names as skolem abstract.Edward Z. Yang2017-02-263-3/+3
* tests: remove extra_files.py (#12223)Reid Barton2017-02-267-20/+24
* tests: manually move some extra_files into *.T filesReid Barton2017-02-261-1/+4
* Add instances for (:~~:) mirroring those for (:~:)Ryan Scott2017-02-231-1/+1
* Test Trac #13300Simon Peyton Jones2017-02-213-0/+17
* Gather constraints locally in checkMainSimon Peyton Jones2017-02-214-0/+34
View Lorry Controller Status